diff options
Diffstat (limited to 'doc/src/template/style/style.css')
-rwxr-xr-x | doc/src/template/style/style.css | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css index aa98af8..df2729c 100755 --- a/doc/src/template/style/style.css +++ b/doc/src/template/style/style.css @@ -200,7 +200,7 @@ } span.operator { - color: black; + color: #202020; } span.keyword { @@ -210,6 +210,18 @@ { color: black } + span.type + { + font-weight: bold + } + span.type a:visited + { + color: #0F5300; + } + span.preprocessor + { + color: #404040 + } /* end basic elements */ /* font style elements */ @@ -226,15 +238,15 @@ { font-size: 13px; } - .red - { - color:red; - } - .figCaption{ - color:#363534; - font:italic 11px/1.2 Verdana; - padding-top:0; - } + .red + { + color:red; + } + .figCaption{ + color:#363534; + font:italic 11px/1.2 Verdana; + padding-top:0; + } /* end font style elements */ /* global settings*/ |