diff --git a/share/misc/docbook.css b/share/misc/docbook.css index 22a430f2dd..fbcd1214e6 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -135,10 +135,6 @@ html { padding: 0; } -body p b.application { - color: #000000; -} - .filename { color: #007a00; } @@ -191,34 +187,34 @@ blockquote { padding: 0 2ex; } -blockquote.note { +.note { color: #222; background: #eee; border: 1px solid #ccc; width: 85%; } -blockquote.tip { +.tip { color: #004F00; background: #d8ecd6; border: 1px solid green; width: 85%; } -blockquote.important { +.important { font-style:italic; border: 1px solid #a00; border-left: 12px solid #c00; } -blockquote.warning { +.warning { color: #9F1313; background: #f8e8e8; border: 1px solid #e59595; width: 85%; } -blockquote.caution { +.caution { color: #3E3535; background: #FFC; border: 1px solid #e59595; @@ -237,3 +233,11 @@ blockquote.caution { padding-left: 1em; padding-right: 1em; } + +.application { + font-weight: bold; +} + +pre.screen strong { + font-weight: normal; +}