diff options
Diffstat (limited to 'extras/html/source-highlight-styles/mono.css')
| -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; +} + |