diff options
Diffstat (limited to 'html/033exclusive_container.cc.html')
-rw-r--r-- | html/033exclusive_container.cc.html | 29 |
1 files changed, 12 insertions, 17 deletions
diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html index df0d79c3..2b3da1f6 100644 --- a/html/033exclusive_container.cc.html +++ b/html/033exclusive_container.cc.html @@ -7,29 +7,24 @@ <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="cpp"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> -<meta name="colorscheme" content="minimal"> +<meta name="colorscheme" content="minimal-light"> <style type="text/css"> <!-- -pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; } -body { font-size:12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; } -.subxS2Comment a { color:inherit; } -.subxS1Comment a { color:inherit; } -.subxComment a { color:inherit; } -.subxH2Comment a { color:inherit; } -.subxH1Comment a { color:inherit; } +pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } +body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } * { font-size:12pt; font-size: 1em; } .cSpecial { color: #008000; } -.LineNr { color:#444444; } +.LineNr { } .muData { color: #ffff00; } -.Constant { color:#00a0a0; } +.Constant { color: #008787; } .muRecipe { color: #ff8700; } -.Delimiter { color:#800080; } -.Special { color:#c00000; } -.Identifier { color:#c0a020; } -.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; } -.Comment { color: #8080ff; } -.SalientComment { color: #00ffff; } -.traceContains { color: #008000; } +.Delimiter { color: #c000c0; } +.Special { color: #d70000; } +.Identifier { color: #af5f00; } +.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; } +.Comment { color: #005faf; } +.SalientComment { color: #0000af; } +.traceContains { color: #005f00; } --> </style> |