diff options
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>] |