:root { --body-background: #1a1a1a; --body-foreground: #eeeeee; --body-link: lightblue; --nav-background: #3a3a3a; --nav-foreground: #eeeeee; --nav-active-background: #eeeeee; --nav-active-foreground: #1a1a1a; --hr-background: #8a8a8a; --sans-serif-font: -apple-system, BlinkMacSystemFont, avenir next, avenir, segoe ui, helvetica neue, Cantarell, Ubuntu, roboto, noto, helvetica, arial, sans-serif; --serif-font: Iowan Old Style, Apple Garamond, Baskerville, Times New Roman, Droid Serif, Times, Source Serif Pro, serif, Apple Color Emoji, Segoe UI Emoji, Segoe UI Symbol; --mono-font: monospace; } body { margin: 0; background-color: var(--body-background); color: var(--body-foreground); font-family: var(--sans-serif-font); } .content h1, .content h2, .content h3 { padding-bottom: 4px; border-bottom: 1px #555555 solid; } a { color: var(--body-link); text-decoration: none; } a:hover { text-decoration: underline; } .header, .content { max-width: 1000px; margin: 0 auto; } @media only screen and (max-width: 1100px) { .header, .content { max-width: 800px; } } @media only screen and (max-width: 900px) { .header, .content { max-width: 700px; } } @media only screen and (max-width: 750px) { .header, .content { max-width: none; } .header-top, .content { margin: 0 16px; } .header-title { display: block; } } .header-bottom { height: 4px; background: var(--nav-background); } .header-title { display: inline-block; margin-top: 0; margin-bottom: 0; } .header-top { padding: 16px 0; } .header-subtext { margin-left: 16px; color: #999999; font-style: italic; } .header-items { list-style-type: none; margin: 0; padding-left: 0; overflow: hidden; } .header-item a { background-color: var(--nav-background); color: var(--nav-foreground); display: block; padding: 8px 12px; } .header-item-active a { background-color: var(--nav-active-background); color: var(--nav-active-foreground); } .header-item-left { float: left; } .header-item-right { float: right; } @media only screen and (max-width: 400px) { .header-item-left, .header-item-right { float: none; } .header-bottom { display: none; } .header-title { display: block; } .header-subtext { margin-left: 0; } } hr { background-color: var(--hr-background); height: 1px; border: none; } pre { padding: 8px; white-space: pre-wrap; } code { font-size: 110%; } .toc { background: #101010; padding: 8px; } .toc h2 { margin-top: 0; margin-bottom: 0; } .toc > nav > ol { margin-top: 8px; margin-bottom: 0; }