From 138bb9156ea3d0998ae4a1518e00bfc430d07294 Mon Sep 17 00:00:00 2001 From: Warren Block Date: Mon, 10 Aug 2015 22:41:06 +0000 Subject: [PATCH] A few miscellaneous changes to docbook.css to improve the appearance of elements that should be displayed in monospace fonts. Reviewed by: allanjude Differential Revision: https://reviews.freebsd.org/D3313 --- share/misc/docbook.css | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/share/misc/docbook.css b/share/misc/docbook.css index 3843c6b05b..f6f6d06c83 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -285,7 +285,7 @@ pre.screen { white-space: pre; overflow: auto; font-family: monospace; - padding: 1ex; + padding: 1em; background-color: #edc; border: 1px solid #ccc; border-radius: 4px; @@ -385,10 +385,12 @@ pre.programlisting { .userinput, .userinput code { + font-family: monospace; font-weight: bold; } pre.screen strong { + font-family: monospace; font-weight: normal; } @@ -401,3 +403,11 @@ span.contrib { font-size: small; font-style: italic; } + +.literal, .command { + font-family: monospace; +} + +code.prompt { + margin-left: -3px; +}