:root { --site-width: 900px; --vert-content-margin: 0.3rem; --accent1: #2596be; --link: #2527EA; --black: #000; --white: #FBFBFB; --grey: #EFEFEF; --background: #EAEFFF; --background-toc: #E1EFFF; --shadow-toc: #6E868F; --font-size: 1.1rem; --line-height: 1.2rem; --font-family: "Source Serif Pro"; } body { // text-align: justify; font-family: var(--font-family); font-size: var(--font-size); line-height: var(--line-height); color: var(--black); background-color: var(--background); word-spacing: 0.25ch; font-weight: 400; } code { font-size: calc(var(--font-size) * 0.9); } 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: var(--link); text-decoration: none; } #header a, #header a:visited{ color: var(--grey); } #content h2, #content h3, #content h4, #content h5 { margin-bottom: -0.8rem; } #content h2 { margin-top: 1rem; } #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: min(var(--site-width), 90vw); margin: 0 auto; } #footer { margin-top: 1.5rem; } #content { padding-left: 7%; padding-right: 7%; } #publish-date, #modified-date { font-style: italic; } .src, .example { font-family: "monospace"; font-size: 1rem; } .outline-3.orgjq-contracted h3::before { content: "🡒"; } .outline-4.orgjq-contracted h4::before { content: "⤳"; } .outline-5.orgjq-contracted h5::before { content: "⇝"; } /* TOC */ #table-of-contents { z-index: 1; margin-top: 105px; margin-right: 5%; font-size: calc(var(--font-size) * 0.8); position: fixed; right: 0em; top: 0em; background: var(--background-toc); text-align: right; min-height: 3rem; box-shadow: 0 0 0.5em var(--shadow-toc); -webkit-box-shadow: 0 0 0.5em var(--shadow-toc); -moz-box-shadow: 0 0 0.5em var(--shadow-toc); -webkit-border-bottom-left-radius: 5px; -moz-border-radius-bottomleft: 5px; /* ensure doesn't flow off the screen when expanded */ max-height: 80%; overflow: auto; } #table-of-contents h2 { font-size: 13pt; max-width: 9em; border: 0; font-weight: normal; margin-top: 0.75em; margin-bottom: 0.75em; padding-left: 0.5em; padding-right: 0.5em; padding-top: 0.05em; padding-bottom: 0.05em; } #table-of-contents #text-table-of-contents { display: none; text-align: left; } #table-of-contents:hover #text-table-of-contents { display: block; padding: 0.5em; margin-top: -1.5em; padding-right: 20px; } /* 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;}