diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/style.css b/doc/style.css index 235d4da87..b7adfa10a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -185,7 +185,6 @@ a.noline { a.info { text-decoration: none; - background-color: #D8D8D8; } table.layout { @@ -199,7 +198,7 @@ span.comment { } span.highlight { - background-color: #81F781; + background-color: #ffffa0; } |