diff options
Diffstat (limited to 'unicode/docbook')
| -rw-r--r-- | unicode/docbook/book.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unicode/docbook/book.css b/unicode/docbook/book.css index 1f893ad..d1420cd 100644 --- a/unicode/docbook/book.css +++ b/unicode/docbook/book.css @@ -44,8 +44,9 @@ code.computeroutput div.literallayout { font-weight: bold; } -.command, .acronym { +.command, .acronym, .symbol { font-family: "liberation mono", "courier new", monospace; + background-color: #eeeeee; } div.blockquote-title { @@ -152,4 +153,3 @@ a:link, a:visited { #externallinks th, #externallinks td { border-width: 0px; } - |