diff options
| author | Paul Buetow <paul@buetow.org> | 2024-12-30 00:05:14 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2024-12-30 00:05:14 +0200 |
| commit | 2fb3ba57fc45364b00cadf7e241011b7b0f3030a (patch) | |
| tree | 750f7a37b6d40f7712769ec4769c156c0abb8f8b /extras/html | |
| parent | 33436c949c681360e5283a6dc61372dde6563637 (diff) | |
refine theme
Diffstat (limited to 'extras/html')
| -rw-r--r-- | extras/html/source-highlight-styles/mono.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/extras/html/source-highlight-styles/mono.css b/extras/html/source-highlight-styles/mono.css new file mode 100644 index 0000000..f3b7189 --- /dev/null +++ b/extras/html/source-highlight-styles/mono.css @@ -0,0 +1,29 @@ +BODY { + font-weight: normal; + background-color: white; +} + +.keyword { + color: black; + font-weight: bold; + text-decoration: underline; +} + +.type { + color: black; + font-weight: bold; +} + +.string { + color: gray; +} + +.comment { + color: silver; + font-style: italic; +} + +.number { + color: black; +} + |