about summary refs log tree commit diff stats
path: root/update_html
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-12-29 15:27:18 -0800
committerKartik Agaram <vc@akkartik.com>2018-12-29 15:27:18 -0800
commitac07e589b3e912c704c2011d543f18b16712ff15 (patch)
treecc62a44e368487f6379a970e0183a5d18d552182 /update_html
parentc164f4fb6be4dcdf452e4276127a2cfabc32c33f (diff)
downloadmu-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-xupdate_html26
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