@import url("pygment.css"); @font-face { font-family: 'Latin Modern'; font-style: normal; font-weight: normal; font-display: swap; src: url('../fonts/LM-regular.woff2') format('woff2'), url('../fonts/LM-regular.woff') format('woff'), url('../fonts/LM-regular.ttf') format('truetype'); } @font-face { font-family: 'Latin Modern'; font-style: italic; font-weight: normal; font-display: swap; src: url('../fonts/LM-italic.woff2') format('woff2'), url('../fonts/LM-italic.woff') format('woff'), url('../fonts/LM-italic.ttf') format('truetype'); } @font-face { font-family: 'Latin Modern'; font-style: normal; font-weight: bold; font-display: swap; src: url('../fonts/LM-bold.woff2') format('woff2'), url('../fonts/LM-bold.woff') format('woff'), url('../fonts/LM-bold.ttf') format('truetype'); } @font-face { font-family: 'Latin Modern'; font-style: italic; font-weight: bold; font-display: swap; src: url('../fonts/LM-bold-italic.woff2') format('woff2'), url('../fonts/LM-bold-italic.woff') format('woff'), url('../fonts/LM-bold-italic.ttf') format('truetype'); } *, *::before, *::after { box-sizing: border-box; } body, h1, h2, h3, h4, p, ul[class], ol[class], li, figure, figcaption, dl, dd { margin: 0; } html, body { height: 98%; max-width: 1280px; margin: auto; } html { font-size: 1rem; scroll-behavior: smooth; } body { display: flex; flex-flow: column nowrap; font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif; line-height: 1.8; min-height: 100vh; overflow-x: hidden; margin: 0 auto; padding: 2rem 1.25rem; color: hsl(0, 5%, 10%); background-color: hsl(210, 20%, 98%); text-rendering: optimizeLegibility; } p { text-align: justify; hyphens: auto; margin-top: 1rem; } a:not([class]) { text-decoration-skip-ink: auto; } a, a:visited { color: #a00; } a:focus { outline-offset: 2px; outline: 2px solid hsl(220, 90%, 52%); } h1 { font-size: 2.5rem; line-height: 3.25rem; margin-bottom: 1.625rem; } h2 { font-size: 1.7rem; line-height: 2rem; margin-top: 3rem; } h3 { font-size: 1.4rem; margin-top: 2.5rem; } h4 { font-size: 1.2rem; margin-top: 2rem; } h5 { font-size: 1rem; margin-top: 1.8rem; } h6 { font-size: 1rem; font-style: italic; font-weight: normal; margin-top: 2.5rem; } h3, h4, h5, h6 { line-height: 1.625rem; } h1 + h2 { margin-top: 1.625rem; } h2 + h3, h3 + h4, h4 + h5 { margin-top: 0.8rem; } h5 + h6 { margin-top: -0.8rem; } h2, h3, h4, h5, h6 { margin-bottom: 0.8rem; } ul, ol { padding: 0; } #banner, #contentinfo { width: 100%; text-align: center; } #contentinfo { flex-shrink: 0; margin-top: 40px } #container { flex: 1 0 auto; display: flex; align-items: stretch; max-width: 100%; } @media only screen and (max-width: 1024px) { #container { flex-flow: row wrap; } } #menu { min-width: 300px; } .menuitems { list-style: none; } #content { flex: 1 1 auto; } #post-list li { list-style: none; } .entry-title { text-align: center; } div.post-info { text-align: center; } .author a { margin: 0.85rem 0; font-variant-caps: small-caps; text-align: center; } footer.post-info { display: flex; flex-flow: row wrap; justify-content: space-between; padding: 1rem; } .entry-title { text-align: center; } /* * Links */ .entry-content a { counter-increment: entrylinks; text-decoration: none; color: inherit; outline: none; cursor: default; pointer-events: none; } .entry-content a:after { content: '[' counter(entrylinks) ']'; margin-left: 2px; color: #a00; cursor: pointer; pointer-events: auto; } /* * Lists */ .entry-content ol, .entry-content ul { padding-left: 40px; } .entry-content li>ol, .entry-content li>ul { padding-left: 20px; } /* * Images */ .entry-content img { counter-increment: figures; display: block; max-width: 80%; margin: 0 auto 0 auto; padding: 1rem; } .entry-content img~em{ display: block; margin: 0 auto 0 auto; text-align: center; font-style: normal; } .entry-content img~em:before { content: 'Figure ' counter(figures) ': '; font-weight: bold; } /* * Tables */ .entry-content table:not([class="highlighttable"]) { counter-increment: tables; max-width: 80%; margin: 0 auto 0 auto; padding: 1rem; border-collapse: collapse; border-spacing: 0; } .entry-content table~p > em{ display: block; margin: 0 auto 0 auto; text-align: center; font-style: normal; } .entry-content table~p > em:before { content: 'Table ' counter(tables) ': '; font-weight: bold; } .entry-content th, td { padding: 0.5rem; } .entry-content td { border-bottom: 1px solid hsl(0, 0%, 85%); } .entry-content th:not([align]), td:not([align]) { text-align: left; } .entry-content th:empty, .entry-content td:empty { border-left: 1px solid hsl(0, 0%, 85%); width: 0; padding: 0; } .entry-content th:empty~th:empty, .entry-content td:empty~td:empty { border-left: 1px double hsl(0, 0%, 85%); } .entry-content thead th { border-bottom: 2px solid hsl(0, 0%, 70%); } .entry-content tfoot th { border-top: 2px solid hsl(0, 0%, 70%); } /* * Code */ .entry-content table.highlighttable, .entry-content div.highlight { width: 100%; max-width: 100%; } .entry-content div.highlight { counter-increment: listings; } .entry-content table.highlighttable~p > em, .entry-content div.highlight~p > em { display: block; margin: 0 auto 0 auto; text-align: center; font-style: normal; } .entry-content table.highlighttable~p > em:before, .entry-content div.highlight~p > em:before { content: 'Listing ' counter(listings) ': '; font-weight: bold; } .entry-content td.linenos, .entry-content td.code { border-bottom: none; } .entry-content code, pre { font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace; font-size: 85%; } .entry-content pre { max-width: 100%; overflow: auto; border-radius: 4px; } .entry-content pre code { font-size: 95%; position: relative; } .linenos { width: 3em; } /* This is old stuff, inherited from LaTeX.css, probably unused */ /* Nested ordered list for ToC */ .toc ol { counter-reset: item; padding-left: 2rem; } .toc li { display: block; } .toc li:before { content: counters(item, '.') ' '; counter-increment: item; padding-right: 0.85rem; } /* Make footnote text smaller and left align it (looks bad with long URLs) */ .footnotes p { text-align: left; line-height: 1.5; font-size: 85%; margin-bottom: 0.4rem; } .footnotes { border-top: 1px solid hsl(0, 0%, 39%); }