html { scroll-behavior: smooth; color: white; } body { font-family: "Literata"; margin: auto; max-width: var(--main-width); padding-left: var(--main-padding); padding-right: var(--main-padding); color: var(--content-primary); background: var(--background); } .content { min-height: var(--content-height) !important; } h1 { margin-top: var(--h1-margin-top); margin-bottom: var(--h1-margin-bottom); font-size: var(--h1-font-size); } h2 { margin-top: var(--h2-margin-top); margin-bottom: var(--h2-margin-bottom); font-size: var(--h2-font-size); } h3, h4, h5, h6 { font-size: var(--hx-font-size); margin-top: var(--hx-margin-top); margin-bottom: var(--hx-margin-bottom); } p { margin-top: var(--p-margin-top); margin-bottom: var(--p-margin-bottom); font-size: var(--p-font-size); line-height: var(--p-line-height); } ul { margin-top: var(--ul-margin-top); margin-bottom: var(--ul-margin-bottom); } li { margin-left: var(--li-indent); } a { text-decoration: underline; } /* Code blocks */ pre { padding: var(--code-padding); border: 1px solid var(--code-border); overflow: scroll; border-radius: var(--code-border-radius); margin-top: var(--code-margin-top); margin-bottom: var(--code-margin-bottom); background-color: var(--code-background) !important; overflow-x: auto; -ms-overflow-style: none; scrollbar-width: none; line-height: 1.3em; } pre::-webkit-scrollbar { display: none; } code span { display: inline !important; } code { -webkit-font-smoothing: antialiased; -moz-font-feature-settings: "liga=1, dlig=1"; -ms-font-feature-settings: "liga", "dlig"; -webkit-font-feature-settings: "liga", "dlig"; -o-font-feature-settings: "liga", "dlig"; font-feature-settings: "liga", "dlig"; font-variant-ligatures: contextual; font-family: "Monaspace"; font-size: 0.9em; line-height: 0; } .katex-display { overflow-x: auto; overflow-y: hidden; -ms-overflow-style: none; scrollbar-width: none; } .katex-display::-webkit-scrollbar { display: none; } /* Footnotes */ .footnotes { margin-top: 3rem; border-style: none; } hr { border: none; height: 1px; background: var(--content-secondary); margin-top: 2rem; margin-bottom: 2rem; } /* Header */ .header { padding-top: var(--header-top-gap); margin-bottom: var(--header-bottom-gap); } .header p { font-family: monospace; margin-top: var(--header-menu-top-gap); margin-right: var(--header-menu-side-gap); } .header-title { font-size: 2.6em; font-weight: bold; margin-bottom: 0; margin-top: 0; } /* Footer */ footer { font-size: small; display: flex; justify-content: center; align-items: center; max-height: var(--footer-height); } footer a { font-family: "Monaspace"; margin-left: 0.2rem; margin-right: 0.2rem; } /* Posts list */ .post-line { margin-bottom: 0.5rem; display: flex; align-items: baseline; } .tag-line { margin-bottom: 0.5rem; display: flex; align-items: baseline; } .post-line p { margin-top: 0rem; margin-bottom: 0rem; } .line-date { font-size: small; font-family: "Monaspace"; min-width: 120px; max-width: 120px; text-align: right; padding-right: 1rem; margin-top: 0rem; margin-bottom: 0rem; } .line-title { margin: 0; } .tag-title { margin: 0; } /* Social Icons */ .social-icons { padding: 12px 0; margin-bottom: var(--social-icons-bottom-margin); } .social-icons a { text-decoration: none; } .social-icons a:not(:last-of-type) { margin-inline-end: 12px; } .social-icons a svg { height: 20px; width: 20px; } /* Single post page */ .single-intro-container { margin-top: 1rem; margin-bottom: 2rem; } .single-title { margin-bottom: 0.5rem; } .single-readtime { margin-top: 0.5rem; color: var(--content-secondary); } .single-summary { margin-bottom: 0; color: var(--content-secondary); } .single-content { margin-bottom: 5rem; } .single-tags { margin-top: -1rem; } .single-tags span { margin-right: 0.3rem; } /* 404 */ .not-found { display: flex; align-items: center; justify-content: center; } .not-found div { text-align: center; } .not-found div h1 { font-size: 6rem; margin-bottom: 3rem; } / .back-to-top { text-align: center; font-family: "Monaspace"; font-size: small; margin-bottom: 2rem; /* margin-top: -3rem; */ }