about summary refs log tree commit diff stats
path: root/update_html
Commit message (Collapse)AuthorAgeFilesLines
* 4897Kartik Agaram2018-12-301-1/+1
|
* 4891Kartik Agaram2018-12-301-1/+19
| | | | | | | | | | | Couple more tweaks to html rendering: a) SubX definitions no longer link redundantly to themselves. This long-standing issue turns out to be tractable to solve for SubX files since the syntax is so simple. b) Fix links to SubX definitions in other directories. I forgot that I have to always generate tags from the directory of the file being linkified. c) Fix link colors. Before we lost all syntax highlighting for functions and Globals. Now they maintain their colors, just add an underline.
* 4890 - new html renderingsKartik Agaram2018-12-291-23/+3
| | | | | | | 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.
* 4814Kartik Agaram2018-12-011-0/+5
|
* 4805Kartik Agaram2018-11-301-6/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | More tweaking of colors, as far as possible in 256-color terminal mode that's almost entirely just for me, and beyond that in the generated html that more people may look at. In the former I have to work with a limited palette, while I'd like the latter to be more accessible for others. Evolution of colors: === 1 .subxH1Comment { color: #00ffff; } .subxH2Comment { color: #00afff; } .subxComment { color: #00afff; } .subxS1Comment { color: #0080ff; } .subxS2Comment { color: #0040ff; } === 2 sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html sed -i 's/^\.subxH2Comment.*/.subxH2Comment { color:#00bbff; }/' $1.html sed -i 's/^\.subxComment.*/.subxComment { color:#00bbff; }/' $1.html sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#0098ff; }/' $1.html sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#0070ff; }/' $1.html # slightly too dark === 3: http://www.perbang.dk/rgbgradient from start to end sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html sed -i 's/^\.subxH2Comment.*/.subxH2Comment { color:#00ddff; }/' $1.html sed -i 's/^\.subxComment.*/.subxComment { color:#00bbff; }/' $1.html sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#0099ff; }/' $1.html sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#0078ff; }/' $1.html === 4: drop down to 4 colors sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html sed -i 's/^\.subxComment.*/.subxComment { color:#00d2ff; }/' $1.html sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#00a4ff; }/' $1.html sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#0078ff; }/' $1.html === 4: make final one just a little too dark sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html sed -i 's/^\.subxComment.*/.subxComment { color:#00cfff; }/' $1.html sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#009fff; }/' $1.html sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#0070ff; }/' $1.html # slightly too dark === 5: make darkest shade a little less blue, just at the edge of too dark sed -i 's/^\.subxH1Comment.*/.subxH1Comment { color:#00ffff; }/' $1.html sed -i 's/^\.subxComment.*/.subxComment { color:#16ccff; }/' $1.html sed -i 's/^\.subxS1Comment.*/.subxS1Comment { color:#2d99ff; }/' $1.html sed -i 's/^\.subxS2Comment.*/.subxS2Comment { color:#4466ff; }/' $1.html # slightly too dark === 6: HSV gradient between the same endpoints 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
* 4804Kartik Agaram2018-11-301-12/+12
|
* 4649Kartik Agaram2018-10-021-1/+1
|
* 4539Kartik Agaram2018-09-071-2/+2
|
* 4536Kartik Agaram2018-09-071-2/+8
|
* 4478Kartik Agaram2018-08-041-1/+1
|
* 4242 - get rid of refcounts entirelyKartik Agaram2018-05-121-1/+1
| | | | | | | | | We're going to lean back into the experiment of commit 4179 back in Jan. If we delete memory it's up to us to ensure no pointers into it survive. Since deep-copy depends on our refcounting infrastructure, it's gone as well. So we're going to have to start watching out for pointers shared over channels.
* 4117 - done with delimited continuationsKartik K. Agaram2017-11-061-1/+1
| | | | | At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce.
* 4114Kartik K. Agaram2017-11-051-59/+39
|
* 4077Kartik K. Agaram2017-10-171-1/+1
| | | | | Stop hyperlinking every `i` in subx html files to the integer register union.
* 4052Kartik K. Agaram2017-10-121-0/+14
|
* 3983Kartik K. Agaram2017-08-221-1/+1
|
* 3961Kartik K. Agaram2017-06-251-28/+39
| | | | | | | | | Expand the steps in `update_html` and try to process each set of files separately so we can see commonality. The eventual goal is a script that can selectively process a subset of files. But this is a good first step: I can at least easily comment out different subsets.
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-5/+9
|
* 3725Kartik K. Agaram2016-12-271-4/+10
| | | | | | More improvements to cross-linking example programs. Include their own functions as well in the tags for each program, even as you share the core .mu files everywhere.
* 3720Kartik K. Agaram2016-12-271-1/+3
|
* 3716Kartik K. Agaram2016-12-261-2/+4
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3715Kartik K. Agaram2016-12-261-1/+6
| | | | | | | | Fix cross-links in html for the edit/ app. I originally thought I'd need to provide a commandline flag like --rel-path or something. But we need to support different relative paths in a single html file. So the solution instead is appropriately engineering the tags file.
* 3713 - cross-link calls with definitions in htmlKartik K. Agaram2016-12-261-0/+15
|
* 3710Kartik K. Agaram2016-12-261-1/+0
| | | | | Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml has magic for that out of the box.
* 3709 - line numbers in htmlKartik K. Agaram2016-12-261-1/+4
| | | | | | Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number.
* 3687Kartik K. Agaram2016-11-251-7/+6
|
* 3559Kartik K. Agaram2016-10-221-2/+11
|
* 3544Kartik K. Agaram2016-10-221-1/+1
|
* 3542Kartik K. Agaram2016-10-221-1/+1
| | | | | Keep color of control flow keywords from bleeding into that of function headers.
* 3496Kartik K. Agaram2016-10-111-2/+2
|
* 3490Kartik K. Agaram2016-10-091-0/+7
| | | | | | | | | | | | | | | Redo commit 3457. Basically there were 3 unicode characters we changed back then: solid horizontal line: 9473 -> 9472 fuzzy horizontal line: 9480 -> 9548 fuzzy vertical line: 9482 -> 9550 The solid horizontal line has no issues, so we just redo it here. For the other two, we'll perform the substitution only when rendering html. That gives us the best of both worlds: the scenario screens render right in html, and alt-tabbing continues to be snappy when running the edit/ app.
* 2745Kartik K. Agaram2016-03-091-0/+1
|
* 2744Kartik K. Agaram2016-03-091-2/+5
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-091-2/+2
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2177Kartik K. Agaram2015-09-071-12/+20
|
* 1885Kartik K. Agaram2015-07-291-7/+7
|
* 1690Kartik K. Agaram2015-07-011-1/+1
|
* 1632Kartik K. Agaram2015-06-231-4/+4
|
* 1631 - update html versionsKartik K. Agaram2015-06-231-0/+6
| | | | | | Html is a little more readable thanks to feedback from J David Eisenberg (https://news.ycombinator.com/item?id=9766330), in particular the suggestion to use https://addons.mozilla.org/En-us/firefox/addon/wcag-contrast-checker.
* 1517Kartik K. Agaram2015-05-301-0/+10