diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-11-30 16:54:01 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-11-30 16:54:01 -0800 |
| commit | 14a380525ed2df295463b1906b718cb26871df3b (patch) | |
| tree | a14422794d91a6fd4d132a12ffa7c3d72708eced /html/edit/006-sandbox-copy.mu.html | |
| parent | 9d27e966b5e9bf1bd3da48f49d7e133d112a2bbe (diff) | |
| download | mu-14a380525ed2df295463b1906b718cb26871df3b.tar.gz | |
4809 - subx: html with 5 colors for comments
Diffstat (limited to 'html/edit/006-sandbox-copy.mu.html')
| -rw-r--r-- | html/edit/006-sandbox-copy.mu.html | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index f0ec1bbd..485bc72b 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -11,19 +11,21 @@ <style type="text/css"> <!-- pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; } -body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; } -a { color:#eeeeee; text-decoration: none; } -a:hover { text-decoration: underline; } -* { font-size: 12pt; font-size: 1em; } -.muControl { color: #c0a020; } +body { font-size:12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; } +.subxS2Comment a { color:inherit; } +.subxS1Comment a { color:inherit; } +.subxComment a { color:inherit; } +.subxH2Comment a { color:inherit; } +.subxH1Comment a { color:inherit; } +* { font-size:12pt; font-size: 1em; } +.muControl { color:#c0a020; } .muRecipe { color: #ff8700; } .muScenario { color: #00af00; } -.LineNr { color: #444444; } -.Delimiter { color: #800080; } -.Constant { color: #00a0a0; } -.Special { color: #c00000; } -.Comment { color: #9090ff; } -.Comment a { color:#0000ee; text-decoration:underline; } +.LineNr { color:#444444; } +.Delimiter { color:#800080; } +.Constant { color:#00a0a0; } +.Special { color:#c00000; } +.Comment { color: #8080ff; } .SalientComment { color: #00ffff; } --> </style> |