diff options
Diffstat (limited to 'html/081run_interactive.cc.html')
| -rw-r--r-- | html/081run_interactive.cc.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/081run_interactive.cc.html b/html/081run_interactive.cc.html index a271fe60..35ce1476 100644 --- a/html/081run_interactive.cc.html +++ b/html/081run_interactive.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; } .SalientComment { color: #00ffff; } -.CommentedCode { color: #6c6c6c; } +.Comment { color: #9090ff; } .Identifier { color: #804000; } --> </style> |