Initial commit

2022-03-18 16:48:18 +01:00
parent 6e159f44d4
commit 3012ee6bfa
21 changed files with 2334 additions and 0 deletions
--- a/static/style.css
+++ b/static/style.css
@@ -0,0 +1,93 @@
+:root {
+    --site-width: 70%;
+    --vert-content-margin: 1.5em;
+    --navbar-color: #d2e8b0;
+    --black: #222;
+    --white: #FBFBFB;
+}
+
+body {
+  font-family: "Baskerville";
+  font-size: 1.2em;
+  color: var(--black);
+  background-color: var(--white);
+}
+
+p + p {
+  /* Prose-style indented paragraphs */
+  text-indent: 1em;
+}
+
+hr {
+  border: 0;
+  height: 2px;
+  background-color: var(--black);
+}
+
+.center {
+  display: block;
+  margin-left: auto;
+  margin-right: auto;
+  text-align: center;
+}
+
+a, a:visited {
+  color: blue;
+  text-decoration: none;
+}
+
+#content h2, #content h3, #content h4, #content h5 {
+    margin-bottom: 0;
+}
+
+#header hr {
+  margin-bottom: var(--vert-content-margin);
+}
+
+#footer hr {
+  margin-top: var(--vert-content-margin);
+}
+
+#header {
+  padding: 5px;
+  background-color: var(--navbar-color);
+  border: 1px solid var(--black);
+  border-radius: 5px;
+}
+
+#content, #header, #footer {
+    max-width: var(--site-width);
+    margin: auto;
+}
+
+/* Set the colors in <pre> blocks from the Leuven theme */
+pre                                      {background-color:#FFFFFF;}
+pre span.org-builtin                     {color:#006FE0;font-weight:bold;}
+pre span.org-string                      {color:#008000;}
+pre span.org-keyword                     {color:#0000FF;}
+pre span.org-variable-name               {color:#BA36A5;}
+pre span.org-function-name               {color:#006699;}
+pre span.org-type                        {color:#6434A3;}
+pre span.org-preprocessor                {color:#808080;font-weight:bold;}
+pre span.org-constant                    {color:#D0372D;}
+pre span.org-comment-delimiter           {color:#8D8D84;}
+pre span.org-comment                     {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-1            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-2            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-3            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-4            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-5            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-6            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-7            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-8            {color:#8D8D84;font-style:italic}
+pre span.org-outshine-level-9            {color:#8D8D84;font-style:italic}
+pre span.org-rainbow-delimiters-depth-1  {color:#707183;}
+pre span.org-rainbow-delimiters-depth-2  {color:#7388d6;}
+pre span.org-rainbow-delimiters-depth-3  {color:#909183;}
+pre span.org-rainbow-delimiters-depth-4  {color:#709870;}
+pre span.org-rainbow-delimiters-depth-5  {color:#907373;}
+pre span.org-rainbow-delimiters-depth-6  {color:#6276ba;}
+pre span.org-rainbow-delimiters-depth-7  {color:#858580;}
+pre span.org-rainbow-delimiters-depth-8  {color:#80a880;}
+pre span.org-rainbow-delimiters-depth-9  {color:#887070;}
+pre span.org-sh-quoted-exec              {color:#FF1493;}