diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-12-29 15:27:18 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-12-29 15:27:18 -0800 |
commit | ac07e589b3e912c704c2011d543f18b16712ff15 (patch) | |
tree | cc62a44e368487f6379a970e0183a5d18d552182 /html/lambda-to-mu.mu.html | |
parent | c164f4fb6be4dcdf452e4276127a2cfabc32c33f (diff) | |
download | mu-ac07e589b3e912c704c2011d543f18b16712ff15.tar.gz |
4890 - new html renderings
a) Switch to a light background. b) Linkify calls in .subx files. c) Keep all colorization in the Vim colorscheme, get rid of hacky special-cases in update_html.
Diffstat (limited to 'html/lambda-to-mu.mu.html')
-rw-r--r-- | html/lambda-to-mu.mu.html | 27 |
1 files changed, 11 insertions, 16 deletions
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index 6e3554d0..06e32048 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -7,28 +7,23 @@ <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <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; } -.CommentedCode { color: #6c6c6c; } -.muControl { color:#c0a020; } +.CommentedCode { color: #8a8a8a; } +.muControl { color: #804000; } .muRecipe { color: #ff8700; } .muScenario { color: #00af00; } -.LineNr { color:#444444; } +.LineNr { } .muData { color: #ffff00; } -.Delimiter { color:#800080; } -.Constant { color:#00a0a0; } -.Special { color:#c00000; } -.Comment { color: #8080ff; } -.SalientComment { color: #00ffff; } +.Delimiter { color: #c000c0; } +.Constant { color: #008787; } +.Special { color: #ff6060; } +.Comment { color: #005faf; } +.SalientComment { color: #0000af; } --> </style> |