html { color: #333; background: #f7f7f7; font-family: sans-serif; font-family: var(--font-main), sans-serif; touch-action: manipulation; } #wrap { margin: 2em auto; padding: 0 1em 3em 1em; line-height: 2.3em; } #wrap>span { margin: 0 0 0 1em; border-bottom: 1px solid #999; } li { margin: 1em 0; } a { color: #047; background: #fff; text-decoration: none; white-space: nowrap; border-bottom: 1px solid #8ab; border-radius: .2em; padding: .2em .6em; margin: 0 .3em; } #wrap td a { margin: 0; } #w { color: #fff; background: #940; border-color: #b70; } #repl { border: none; background: none; color: inherit; padding: 0; position: fixed; bottom: .25em; left: .2em; } #wrap table { border-collapse: collapse; position: relative; margin-top: 2em; } th { top: -1px; position: sticky; background: #f7f7f7; } #wrap td, #wrap th { padding: .3em .6em; text-align: left; vertical-align: top; white-space: nowrap; } #wrap td+td+td+td+td+td+td+td { font-family: var(--font-mono), monospace, monospace; } #wrap th:first-child, #wrap td:first-child { border-radius: .5em 0 0 .5em; } #wrap th:last-child, #wrap td:last-child { border-radius: 0 .5em .5em 0; } #wrap.terse td div { height: 2.3em; overflow-y: hidden; } html.z { background: #222; color: #ccc; } html.z a { color: #fff; background: #057; border-color: #37a; } html.z th { background: #222; } html.bz { color: #bbd; background: #11121d; } html.bz th { background: #223; }