diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-07 01:41:48 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-07 01:41:48 -0800 |
commit | 9e751bb8c0cdf771d34c839cb6591d892b8e62de (patch) | |
tree | 2ac86646cd0aa204626a4fc842dbe8b2aa526817 /html/tangle.mu.html | |
parent | 848ebc1e6335cd1a34e07662242a367fefbc5229 (diff) | |
download | mu-9e751bb8c0cdf771d34c839cb6591d892b8e62de.tar.gz |
3761
Diffstat (limited to 'html/tangle.mu.html')
-rw-r--r-- | html/tangle.mu.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/html/tangle.mu.html b/html/tangle.mu.html index 3a24545b..2a3f057f 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -15,13 +15,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color a { text-decoration: none; } a:hover { text-decoration: underline; } * { font-size: 12pt; font-size: 1em; } +.muRecipe { color: #ff8700; } +.Conceal { color: #4e4e4e; } .Delimiter { color: #800080; } -.muControl { color: #c0a020; } .Special { color: #c00000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .LineNr { color: #444444; } -.muRecipe { color: #ff8700; } +.muControl { color: #c0a020; } --> </style> @@ -68,7 +69,7 @@ if ('onhashchange' in window) { <span id="L10" class="LineNr">10 </span> <span class="Constant">local-scope</span> <span id="L11" class="LineNr">11 </span> <span class="Constant">load-ingredients</span> <span id="L12" class="LineNr">12 </span> <span class="Delimiter">{</span> -<span id="L13" class="LineNr">13 </span><span class="Constant"> <a href='tangle.mu.html#L13'><base-case></a></span> +<span id="L13" class="LineNr">13 </span><span class="Constant"> </span><span class="Conceal">¦</span><span class="Constant"> <a href='tangle.mu.html#L13'><base-case></a></span> <span id="L14" class="LineNr">14 </span> <span class="Delimiter">}</span> <span id="L15" class="LineNr">15 </span><span class="Constant"> <a href='tangle.mu.html#L15'><recursive-case></a></span> <span id="L16" class="LineNr">16 </span>] |