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 /update_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 'update_html')
-rwxr-xr-x | update_html | 26 |
1 files changed, 3 insertions, 23 deletions
diff --git a/update_html b/update_html index 85475325..95f96428 100755 --- a/update_html +++ b/update_html @@ -25,28 +25,6 @@ convert_html() { sed -i 's/^\* { \(.*\) }/* { font-size:12pt; \1 }/g' $1.html sed -i 's/^body { \(.*\) }/body { font-size:12pt; \1 }/g' $1.html - # turn most code grey - sed -i 's/#eeeeee/#aaaaaa/g' $1.html - # line numbers are darker than normal - sed -i 's/^\.LineNr .*/.LineNr { color:#444444; }/' $1.html # line numbers - # tweak contrast for remaining colors - sed -i 's/^\.Constant .*/.Constant { color:#00a0a0; }/' $1.html - sed -i 's/^\.muControl .*/.muControl { color:#c0a020; }/' $1.html - # comment colors manually adjusted for better contrast; browser has >256 colors - sed -i 's/^\.Delimiter .*/.Delimiter { color:#800080; }/' $1.html # not meant to be read; can be lower-contrast - sed -i 's/^\.PreProc .*/.PreProc { color:#800080; }/' $1.html # not meant to be read; can be lower-contrast - sed -i 's/^\.Identifier .*/.Identifier { color:#c0a020; }/' $1.html # same as muControl - sed -i 's/^\.Special .*/.Special { color:#c00000; }/' $1.html # same as traceAbsent.. - sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html - sed -i 's/^\.subxComment.*/.subxComment { color:#16bfff; }/' $1.html - sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#2d8cff; }/' $1.html - sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#4466ff; }/' $1.html # slightly too dark - # comment links in regular colors, just underlined - sed -i '/^body {/ a .subxH1Comment a { color:inherit; }' $1.html - sed -i '/^body {/ a .subxH2Comment a { color:inherit; }' $1.html - sed -i '/^body {/ a .subxComment a { color:inherit; }' $1.html - sed -i '/^body {/ a .subxS1Comment a { color:inherit; }' $1.html - sed -i '/^body {/ a .subxS2Comment a { color:inherit; }' $1.html # switch unicode characters around in the rendered html # the ones we have in the source files render double-wide in html @@ -91,7 +69,9 @@ do process $f done -echo > /tmp/tags +( cd subx + ctags -x *.subx > /tmp/tags +) for f in subx/*.subx subx/examples/*.subx subx/apps/*.subx do process $f |