:root { --background-color: white; --text-color: black; --link-color: teal; --text-highlight-color: silver; } @media (prefers-color-scheme: dark) { :root { --background-color: black; --text-color: white; --link-color: aqua; --text-highlight-color: grey; } } * { margin: 0; padding: 0; } a { color: var(--link-color); } h1, h2, h3, h4, h5, h6 { font-size: 1rem; margin: 0; margin-bottom: 1ch; } ul { margin: 0 4ch 2ch; } ul ul { margin-bottom: 0; } dt { margin-bottom: 1ch; } dd { margin-left: 4ch; } p { padding-bottom: 1ch; } div.example { margin: 0; } body { background: var(--background-color); color: var(--text-color); margin: 0; padding: 0 2ch 2ch; font-size: 1rem; font-family: monospace; } .example-formatted { font-family: monospace; } .code { white-space: nowrap; background-color: var(--text-highlight-color); } .settitle { text-align: left !important; } header { margin: 2ch auto; border-bottom: 1ch solid var(--text-color); padding-bottom: 2ch; } header > h1 { font-weight: normal; margin-bottom: 2ch; } .nav-panel * { margin: 0; padding: 0; } article, body > div:not(.nav-panel) > *:not(.nav-panel):not(hr) { max-width: 80ch; } header > nav > span { white-space: nowrap; } footer { margin: 2ch auto; padding-top: 2ch; border-top: 1ch solid var(--text-color); } pre { margin-bottom: 1ch; max-width: calc(100vw - 7ch); width: calc(100vw - 7ch); overflow: auto; position: relative; counter-reset: line; background: black; color: white; border-left: 1ch solid grey; padding: 2ch 1ch; } dd pre { max-width: calc(100vw - 11ch); width: calc(100vw - 11ch); } pre:before, pre:after { content: ""; background: grey; position: absolute; left: 0ch; width: 1ch; height: 1ch; } pre:before { top: 0ch; } pre:after { bottom: 0ch; } .code-line { counter-increment: line; } .code-line:before { content: "" counter(line, decimal-leading-zero) " "; color: grey; } .no-numbers .code-line:before { content: "" } .code-key { color: yellow; } .code-fn-name { color: aqua; } .code-symbol,.code-brac { color: silver; } .code-num { color: orange; } .code-type { color: lime; } .code-comment { color: grey; } .code-macro { color: orange; } .code-str { color: lime; } .lang-output { color: grey; } .lang-bash .code-opt { color: silver; } .logo-name { font-weight: bold; background: var(--link-color); padding: 0 1ch; color: var(--background-color); } hr { border: none; height: 1ch; background-color: var(--text-color); margin: 2ch 0; } ol { margin-left: 2ch; }