html { height: 100%; font-family: sans-serif; line-height: 1.5; } body { height: 100%; display: grid; grid-template-rows: auto 1fr auto; } pre { max-width: 96vw; overflow: auto; box-sizing: border-box; padding: 10px; margin: 20px 2vw; } code { padding: 3px 6px; border-radius: 6px; margin-right: 2px; } pre, code { background-color: #e0e0e0; border: solid 1px #d0d0d0; } a { color: #0d6161; text-decoration: underline dotted #138e8e; text-decoration-thickness: 1.5px; } a:visited { text-decoration-color: #aaa; } div.header-row { display: flex; justify-content: space-between; align-items: center; } div.labels { margin-right: 10px; display: flex; align-items: center; } span.label { padding: 3px 6px; border-radius: 6px; margin: 5px; font-size: 0.7em; } span.id-label { background-color: #e0e0e0; border: solid 1px #d0d0d0; } span.hidden-label { background-color: #888; color: #eee; border: solid 1px #d0d0d0; } h1.node-title { display: inline; margin: 10px 0; } ul.tree-node-text { display: inline; padding-left: 0; } li.tree-node-text { display: inline; } details.tree-node-text { display: inline; cursor: pointer; } summary.tree-node-text { display: inline; } footer div { margin: 20px 0; text-align: center; font-size: 0.8em; } footer p { margin: 0; } span.detached-connection { filter: opacity(60%); } nav#nav-main { text-align: center; } #nav-main-spread { display: flex; justify-content: space-between; align-items: center; margin: 0 10px; } nav#nav-main ul { display: inline; padding-left: 0; margin: 0; } nav#nav-main li { margin-right: 10px; display: inline; } .nav-inputs div { margin-right: 10px; display: flex; align-items: right; } form.node-selector, form.navbar-search { display: inline; } .node-selector select { width: 100px; } .navbar-search input[type="text"] { width: 100px; } div#error-poem { text-align: right; margin-top: 8em; margin-right: 2em; font-size: 0.8em; } em, i { font-style: oblique 20deg; font-weight: 300; padding-right: 2px; } em#index-node-count { font-size: 0.8em; } @media (prefers-color-scheme: dark) { * { background-color: #222222; color: #f1e9e5; } pre, code { background-color: #333333; border: solid 1px #434343; } a { color: #1bc8c8; text-decoration-color: #159b9b; } span.id-label { background-color: #444; border-color: #666; } span.hidden-label { background-color: #000; border-color: #555; color: #969696; } } @media (max-width: 600px) { nav li { margin-right: 3px; } div.header-row { display: block; } #nav-main-spread { display: inline; margin: 0; } }