diff --git a/share/misc/docbook.css b/share/misc/docbook.css index 9026460f0c..a0efe619e9 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -240,6 +240,10 @@ div.screen { white-space: pre; font-family: monospace; padding: 1ex; + background-color: #edc; + border: 1px solid #ccc; + border-radius: 6px; + line-height: 1.1; } div.programlisting { @@ -340,7 +344,7 @@ div.programlisting { } .userinput { - font-weight: normal; + font-weight: bold; } pre.screen strong {