diff --git a/share/misc/docbook.css b/share/misc/docbook.css
index a0efe619e9..7345e20146 100644
--- a/share/misc/docbook.css
+++ b/share/misc/docbook.css
@@ -246,7 +246,7 @@ div.screen {
 	line-height: 1.1;
 }
 
-div.programlisting {
+pre.programlisting {
 	white-space: pre;
 	font-family: monospace;
 	padding: 1ex;