html { background-color: #111111; color: #888888; height: 100%; } body { font-family: monospace; margin: 1rem; } a { color: #FF7E00; text-decoration: none; } a:hover { text-decoration: underline; } h1, h2 { font-size: 1em; margin: 0; } hr { border: 0; height: 1rem; margin: 0; } main > span { padding: 0 0.4rem; } footer { padding: 0.4rem 0.4rem 1rem; } table td { padding: 0 0.4rem; } table td:empty::after { content: "\00a0"; } table td pre { margin: 0; } .highlight-row tr:hover td { background-color: #222222; } table td.lnum { padding: 0; vertical-align: top; } table td.lnum a { color: inherit; display: block; padding: 0 0.4rem 0 0.8rem; } table td.lnum a:hover { text-decoration: none; } table td.line { tab-size: 4; vertical-align: top; } table input { border: 2px solid #333333; border-radius: 3px; background-color: #111111; padding: 2px; } table input[type="text"] { color: #888888; width: 24em; } table input[type="password"] { color: #888888; width: 24em; } table input[type="submit"] { color: #FF7E00; padding: 2px 1.6em; } table input[type="checkbox"] { appearance: none; border: 2px solid #333333; border-radius: 3px; display: inline-block; height: 1.375rem; margin: 0; padding: 2px; vertical-align: top; width: 1.375rem; } table input[type="checkbox"]:hover { background-color: #222222; cursor: pointer; } table input[type="checkbox"]::after { content: ""; display: none; position:relative; } table input[type="checkbox"]:checked::after { display: block; background-color: #FF7E00; border: solid #FF7E00; border-radius: 3px; height: 60%; width: 60%; } table select { border: 2px solid #333333; border-radius: 3px; background-color: #111111; color: #888888; padding: 2px; width: 24em; } table textarea { border: 2px solid #333333; border-radius: 3px; background-color: #111111; color: #888888; display: block; max-height: 18rem; min-height: 6rem; padding: 2px; resize: vertical; width: 24em; } table #mirror-warn { color: #FF7E00; display: none; vertical-align: middle; } table input[type="checkbox"]:checked ~ #mirror-warn { display: inline; } .term-fg1 { font-weight: bold; } /* Bold */ .term-fg2 { color: #888888; } /* Faint */ .term-fg3 { font-style: italic; } /* Italic */ .term-fg4 { text-decoration: underline; } /* Underline */ .term-fg5 { animation: blink-animation 1s steps(3, start) infinite; } /* Blink */ .term-fg9 { text-decoration: line-through; } /* Strikethrough */ .term-fg30 { color: #000000; } /* Black */ .term-fg31 { color: #AA0000; } /* Red */ .term-fg32 { color: #008800; } /* Green */ .term-fg33 { color: #AA5500; } /* Yellow */ .term-fg34 { color: #0000FF; } /* Blue */ .term-fg35 { color: #AA00AA; } /* Magenta */ .term-fg36 { color: #00AAAA; } /* Cyan */ .term-bg40 { background: #000000; } /* Black */ .term-bg41 { background: #AA0000; } /* Red */ .term-bg42 { background: #00AA00; } /* Green */ .term-bg43 { background: #AA5500; } /* Yellow */ .term-bg44 { background: #0000FF; } /* Blue */ .term-bg45 { background: #AA00AA; } /* Magenta */ .term-bg46 { background: #00AAAA; } /* Cyan */ .term-fgi90 { color: #555555; } /* Bright Black */ .term-fgi91 { color: #FF5555; } /* Bright Red */ .term-fgi92 { color: #55FF55; } /* Bright Green */ .term-fgi93 { color: #FFFF55; } /* Bright Yellow */ .term-fgi94 { color: #5555FF; } /* Bright Blue */ .term-fgi95 { color: #FF55FF; } /* Bright Magenta */ .term-fgi96 { color: #55FFFF; } /* Bright Cyan */ .term-fgi97 { color: #FFFFFF; } /* Bright White */