:root { --site-width: 70%; --vert-content-margin: 1.5em; --accent1: #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; border-top: 2px dotted var(--black); } .center { display: block; margin-left: auto; margin-right: auto; text-align: center; } .navbar-link { margin-right: 5px; margin-left: 5px; } 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(--accent1); border: 2px double var(--black); border-radius: 5px; } #content, #header, #footer { min-width: 500px; max-width: var(--site-width); margin: auto; } /* Set the colors in
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;}