diff options
Diffstat (limited to 'html/077trace_browser.cc.html')
-rw-r--r-- | html/077trace_browser.cc.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/077trace_browser.cc.html b/html/077trace_browser.cc.html index 87447353..8fa5bf00 100644 --- a/html/077trace_browser.cc.html +++ b/html/077trace_browser.cc.html @@ -12,13 +12,13 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-family: monospace; color: #eeeeee; background-color: #080808; } -* { font-size: 1em; } +* { font-size: 1.05em; } .cSpecial { color: #008000; } -.Constant { color: #008080; } -.Comment { color: #8080ff; } -.Delimiter { color: #c000c0; } +.Constant { color: #00a0a0; } +.Comment { color: #9090ff; } +.Delimiter { color: #a04060; } .Identifier { color: #008080; } -.CommentedCode { color: #6c6c6c; } +.Comment { color: #9090ff; } --> </style> |