:root{--main-text:#1c1b22;--main-anchor:#00c;--main-bg:#f3f2f0;--inline-code-bg:#e3e2e0}@media(prefers-color-scheme:dark){:root{--main-text:#f3f2f0;--main-anchor:#bbbbfc;--main-bg:#1c1b22;--inline-code-bg:#2c2b32}}html{background:var(--main-bg)}hr{background-color:var(--main-text)}#header-line{height:3px}#footer-line{height:1px}header{padding:0 calc(3% + 1rem);margin-bottom:1rem;a { color: var(--main-text); } nav { ul { padding: 0; } li { margin-right: 20px; display: inline-block; } }}footer{padding:0 calc(3% + 1rem);margin:1rem 0}body{color:var(--main-text);font-family:sans-serif;line-height:1.5;margin:0;text-autospace:normal;line-break:strict;overflow-wrap:break-word}main{margin:2em 3%;h1 { padding: 0 1rem; border-bottom: 3px solid var(--main-text); } h1 ~ * { padding: 0 1rem; }}.readmore{text-align:right}main>.articles{margin:2em 0;& > ul { padding: 0; & > li { list-style: none; margin-bottom: 1em; padding: 0.5rem; border: 1px solid var(--main-text); border-radius: 10px; .article-card > * { margin: 0; padding: 0 0.5em; } .title { margin: 0; padding: 0 0.5em; font-size: x-large; border-bottom: 1.5px solid var(--main-text); } } }}main>#tags,main>#series{& > ul { padding: 0; & > li { list-style: inside; margin-bottom: 1rem; font-size: x-large; } }}main>#tags{& > ul > li { list-style: inside "#" }}.property{& > .taxonomy { .tags li { list-style: '#'; list-style-position: inside; display: inline-block list-item; a { color: var(--main-text); } } .series li { display: inline-block; } .tags, .series { display: flex; ul { margin: 0 0 0 0.5em; padding: 0; display: flex; gap: 0.5em; } } }}a{color:var(--main-anchor);text-decoration:none}pre{line-height:1.5em;padding:.5em;overflow-x:auto;white-space:pre;& code { display: block; span { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; } }}.katex-display{overflow-x:auto;overflow-y:hidden;padding-bottom:.5em}.twitter-tweet{margin:0 auto}.single-article{h2 { border-bottom: 1.5px solid var(--main-text); &::before { content: '# '; } } h3 { border-bottom: 1.25px solid var(--main-text); &::before { content: '## '; } } h4 { &::before { content: '### '; } } .table-of-contents { margin: 3em 1rem; padding: 0.5em 1em; border: 2px solid var(--main-text); border-radius: 5px; nav ul { margin: 0; padding-left: 1em; } nav > ul { margin: 0 0.5em; } } .content { margin-top: 3em; .table-container { display: block; overflow-x: auto; overflow-y: hidden; & > table { margin: 0 auto; width: max-content; border-collapse: collapse; -webkit-text-size-adjust: 100%; text-size-adjust: 100%; th { border-bottom: 1px solid var(--main-text); } td { padding: 0 8px; } th, td { border-left: 1px solid var(--main-text); border-right: 1px solid var(--main-text); border-top: none; white-space: nowrap; } th:first-child, td:first-child { border-left: none; } th:last-child, td:last-child { border-right: none; } } } .image-container { text-align: center; & img { width: 50%; max-width: 600px; max-height: 600px; height: auto; object-fit: contain; } } p > code { padding: 0 0.25em; white-space: pre; line-break: strict; background-color: var(--inline-code-bg); border-radius: 5px; } .katex { white-space: pre; line-break: strict; } }}