diff options
Diffstat (limited to 'html/072scenario_screen.cc.html')
| -rw-r--r-- | html/072scenario_screen.cc.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/072scenario_screen.cc.html b/html/072scenario_screen.cc.html index 44757729..62c58b4a 100644 --- a/html/072scenario_screen.cc.html +++ b/html/072scenario_screen.cc.html @@ -13,10 +13,10 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 1.05em; } +.traceAbsent { color: #c00000; } .traceContains { color: #008000; } -.cSpecial { color: #008000; } .Constant { color: #00a0a0; } -.traceAbsent { color: #c00000; } +.cSpecial { color: #008000; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } |