diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/template/style/offline.css | 10 | ||||
| -rwxr-xr-x | doc/src/template/style/style.css | 10 |
2 files changed, 18 insertions, 2 deletions
diff --git a/doc/src/template/style/offline.css b/doc/src/template/style/offline.css index f5eb1c0..fe9aa13 100644 --- a/doc/src/template/style/offline.css +++ b/doc/src/template/style/offline.css @@ -174,7 +174,7 @@ } span.operator { - color: black; + color: #202020; } span.keyword { @@ -188,6 +188,14 @@ { font-weight: bold } + span.type a:visited + { + color: #0F5300; + } + span.preprocessor + { + color: #404040 + } /* end basic elements */ /* font style elements */ diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css index c35acac..cac4e58 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 { @@ -214,6 +214,14 @@ { font-weight: bold } + span.type a:visited + { + color: #0F5300; + } + span.preprocessor + { + color: #404040 + } /* end basic elements */ /* font style elements */ |