summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2023-12-01 17:59:46 +0200
committerLars Wirzenius <liw@liw.fi>2023-12-25 10:17:07 +0200
commitd6ba90c694fe8905aadf02acbbb0ff7e24f30b4e (patch)
tree651be9d4399728e0b4174eca0b42eb613547d565 /share
parentb010f40593fb6ecafd7cc64f0ec6d78c3126603a (diff)
downloadsubplot-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.css40
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;
+}