body > div.body { padding: 0 0.5em; } @media screen and (max-device-width: 960px) { body { zoom: 1.4; } } h2, h3 { margin: 1em 0; font-family: sans-serif; } h2 { font-size: 18px; } h3 { font-size: 16px; } a { text-decoration: none; } .fa.info, .fa-icon.info { color: var(--fg-icon-info-lvl-0-dimmed); fill: var(--fg-icon-info-lvl-0-dimmed); font-size: 110%; } .fa.info:hover, .fa-icon.info:hover { color: inherit; fill: inherit; } .fa.info.important, .fa-icon.info.important { color: var(--fg-icon-info-lvl-3-dimmed); } .fa.info.important:hover, .fa-icon.info.important:hover { color: var(--fg-icon-info-lvl-3); } button { padding: 0.33em; } input[type="number"] { width: 5em; } input[type="checkbox"][disabled] + * { color: #888; } .para { width: 40em; } .warn { margin: 0; padding: 5px; background-color: #FEDAE0; } @media (max-height: 640px), (max-height: 800px) and (max-width: 480px) { .body > p, .body > ul { margin: 0.5em 0; } .vverbose { display: none !important; } } @media (max-height: 400px) { html { min-height: 400px !important; overflow: auto !important; } }