summaryrefslogtreecommitdiff
path: root/doc/style.css
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2020-12-07 21:51:24 +0100
committerVivien Kraus <vivien@planete-kraus.eu>2021-06-05 16:08:24 +0200
commit24b2eed3efa3fb9f6f042878d28952831a28398c (patch)
tree0e635cccd1ab3ed363c821819391ab25599fbe13 /doc/style.css
parent4f9d02b9b4c84d567709e0325642ac55e068a1ee (diff)
Set up the manual
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css31
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..f201219
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,31 @@
+html {
+ background-color: silver;
+}
+
+body {
+ max-width: 50em;
+ margin: auto;
+ background-color: white;
+ padding: 2em;
+ border-left: 5px solid grey;
+ border-right: 2px solid grey;
+}
+
+.example > .example {
+ border-left: 1px solid grey;
+ padding-left: 1em;
+}
+
+.float-caption {
+ border-left: 1em solid lightgrey;
+ border-bottom: 2px solid grey;
+ margin-bottom: 6ex;
+ padding-left: 1em;
+}
+
+dd {
+ border-left: 1em solid lightgrey;
+ border-bottom: 2px solid lightgrey;
+ margin-left: 1em;
+ padding-left: 1em;
+}