diff options
Diffstat (limited to 'doc/html')
-rw-r--r-- | doc/html/boostbook.css | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/doc/html/boostbook.css b/doc/html/boostbook.css index 0a72f78143..c60e100318 100644 --- a/doc/html/boostbook.css +++ b/doc/html/boostbook.css @@ -39,7 +39,7 @@ pre.synopsis { - font-size: 90%; + font-size: 9pt; margin: 1pc 4% 0pc 4%; padding: 0.5pc 0.5pc 0.5pc 0.5pc; } @@ -385,14 +385,29 @@ background-color: #FFFFFF; color: #000000; } - + + /* Syntax Highlighting */ + .keyword { color: #0000AA; } + .identifier { color: #000000; } + .special { color: #707070; } + .preprocessor { color: #402080; } + .char { color: teal; } + .comment { color: #800000; } + .string { color: teal; } + .number { color: teal; } + .white_bkd { background-color: #FFFFFF; } + .dk_grey_bkd { background-color: #999999; } + /* Links */ - a + a, a .keyword, a .identifier, a .special, a .preprocessor + a .char, a .comment, a .string, a .number { color: #005a9c; } - a:visited + a:visited, a:visited .keyword, a:visited .identifier, + a:visited .special, a:visited .preprocessor a:visited .char, + a:visited .comment, a:visited .string, a:visited .number { color: #9c5a9c; } @@ -405,18 +420,6 @@ color: #000000; } - /* Syntax Highlighting */ - .keyword { color: #0000AA; } - .identifier { color: #000000; } - .special { color: #707070; } - .preprocessor { color: #402080; } - .char { color: teal; } - .comment { color: #800000; } - .string { color: teal; } - .number { color: teal; } - .white_bkd { background-color: #FFFFFF; } - .dk_grey_bkd { background-color: #999999; } - /* Copyright, Legal Notice */ .copyright { |