diff options
Diffstat (limited to 'html/047jump_label.cc.html')
-rw-r--r-- | html/047jump_label.cc.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/047jump_label.cc.html b/html/047jump_label.cc.html index 44a23965..4547dcb2 100644 --- a/html/047jump_label.cc.html +++ b/html/047jump_label.cc.html @@ -10,18 +10,18 @@ <meta name="colorscheme" content="minimal"> <style type="text/css"> <!-- -pre { white-space: pre-wrap; font-family: monospace; color: #d0d0d0; background-color: #000000; } -body { font-family: monospace; color: #d0d0d0; background-color: #000000; } +pre { white-space: pre-wrap; font-family: monospace; color: #d0d0d0; background-color: #080808; } +body { font-family: monospace; color: #d0d0d0; background-color: #080808; } * { font-size: 1em; } .traceAbsent { color: #c00000; } -.Identifier { color: #008080; } +.cSpecial { color: #008000; } .Constant { color: #008080; } +.traceContains { color: #008000; } .Comment { color: #8080ff; } .Delimiter { color: #c000c0; } .Special { color: #ff6060; } .CommentedCode { color: #6c6c6c; } -.cSpecial { color: #008000; } -.traceContains { color: #008000; } +.Identifier { color: #008080; } --> </style> |