@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800; font-display: swap; src: url("/static/fonts/jetbrains.woff2") format("woff2"); } :root { --background-color: #121212; --text-color: #e0e0e0; --primary-color: #bb86fc; --hover-color: #52f0ae; --focus-shadow-color: #bb86fc; --spacing-md: 15px; --spacing-lg: 25px; } * { margin: 0; padding: 0; box-sizing: border-box; } html { background-color: var(--background-color); color: var(--text-color); scrollbar-gutter: stable; scrollbar-color: var(--primary-color) var(--background-color); } body { font-family: "JetBrains Mono", monospace; font-size: 25px; line-height: 1.6; padding: 1.5rem; margin-bottom: 2rem; } main { max-width: 800px; margin-inline: auto; } h1 { color: var(--primary-color); font-size: 2.5em; } h2 { color: var(--primary-color); font-size: 1.3em; margin-block: 1.5rem 0.5rem; } a { color: var(--primary-color); text-decoration: underline; text-underline-offset: 2px; } a:hover { color: var(--hover-color); } a:focus-visible { outline: none; box-shadow: 0 0 0 3px var(--focus-shadow-color); border-radius: 0.25rem; } hr { border: none; border-top: 4px solid var(--primary-color); } .details-list details { font-family: "JetBrains Mono", monospace; } .details-list summary { cursor: pointer; display: inline-flex; align-items: center; gap: 0.5rem; color: var(--primary-color); font-size: 1.3em; font-weight: bold; margin-block: 1.5rem 0.5rem; list-style: none; } .details-list summary::-webkit-details-marker { display: none; } .details-list summary::after { content: " ▼"; font-size: 0.6em; opacity: 0.7; margin-inline-start: 0.3rem; } .details-list details[open] > summary::after { content: " ▲"; } .details-list details > div { margin-top: 1rem; margin-inline-start: var(--spacing-md); } .details-list dt { color: var(--primary-color); font-weight: bold; font-size: 1.17em; margin-inline-start: var(--spacing-md); margin-top: 1rem; } .details-list dt:first-of-type { margin-top: 0; } .details-list dd { margin-inline-start: var(--spacing-lg); } @media (max-width: 600px) { body { padding: 1rem; font-size: 18px; } }