diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-12-01 17:59:46 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-12-25 10:17:07 +0200 |
commit | d6ba90c694fe8905aadf02acbbb0ff7e24f30b4e (patch) | |
tree | 651be9d4399728e0b4174eca0b42eb613547d565 /share | |
parent | b010f40593fb6ecafd7cc64f0ec6d78c3126603a (diff) | |
download | subplot-d6ba90c694fe8905aadf02acbbb0ff7e24f30b4e.tar.gz |
refactor: move CSS file out of doc.rs
Make it easier to edit the CSS file, and also add some styles for
upcoming scenario typesetting.
Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
Diffstat (limited to 'share')
-rw-r--r-- | share/subplot.css | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/share/subplot.css b/share/subplot.css new file mode 100644 index 0000000..292a5f7 --- /dev/null +++ b/share/subplot.css @@ -0,0 +1,40 @@ +div.toc ol { + list-style-type: none; + padding: 0; + padding-inline-start: 2ch; +} + +pre.file { + background: yellow; + border: 10px black; + padding: 1em; +} + +div.scenario { + background: yellow; + padding: 1em; +} + +span.capture-word { + font-family: monospace; +} +span.capture-text { + font-family: monospace; +} +span.capture-int { + font-weight: bold; +} +span.capture-uint { + font-weight: bold; +} +span.capture-number { + font-weight: bold; +} +span.capture-file { + font-family: monospace; +} + +span.capture-path { + font-family: monospace; + font-weight: bold; +} |