diff options
Diffstat (limited to 'html/edit/001-editor.mu.html')
-rw-r--r-- | html/edit/001-editor.mu.html | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html index c6e43ccc..09d025f3 100644 --- a/html/edit/001-editor.mu.html +++ b/html/edit/001-editor.mu.html @@ -11,20 +11,22 @@ <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; } +.LineNr { color:#444444; } .muData { color: #ffff00; } -.Delimiter { color: #800080; } -.Constant { color: #00a0a0; } -.Special { color: #c00000; } -.Comment { color: #9090ff; } -.Comment a { color:#0000ee; text-decoration:underline; } +.Delimiter { color:#800080; } +.Constant { color:#00a0a0; } +.Special { color:#c00000; } +.Comment { color: #8080ff; } .SalientComment { color: #00ffff; } --> </style> |