diff options
Diffstat (limited to 'html/029tools.cc.html')
| -rw-r--r-- | html/029tools.cc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/029tools.cc.html b/html/029tools.cc.html index 50c9f619..6e245746 100644 --- a/html/029tools.cc.html +++ b/html/029tools.cc.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } .SalientComment { color: #00ffff; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } .traceContains { color: #008000; } |