diff options
Diffstat (limited to 'html/081run_interactive.cc.html')
| -rw-r--r-- | html/081run_interactive.cc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/081run_interactive.cc.html b/html/081run_interactive.cc.html index 35ce1476..cdd3a5b7 100644 --- a/html/081run_interactive.cc.html +++ b/html/081run_interactive.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .SalientComment { color: #00ffff; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> |