diff options
Diffstat (limited to 'html/038scheduler.cc.html')
| -rw-r--r-- | html/038scheduler.cc.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/038scheduler.cc.html b/html/038scheduler.cc.html index 667ad6e4..d6cb3c3f 100644 --- a/html/038scheduler.cc.html +++ b/html/038scheduler.cc.html @@ -13,11 +13,11 @@ 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; } +.cSpecial { color: #008000; } .SalientComment { color: #00ffff; } -.traceAbsent { color: #c00000; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } |