From 24b2eed3efa3fb9f6f042878d28952831a28398c Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Mon, 7 Dec 2020 21:51:24 +0100
Subject: Set up the manual

---
 doc/style.css | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 doc/style.css

(limited to 'doc/style.css')

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;
+}
-- 
cgit v1.2.3