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: 115%; } .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); } input[type="number"] { width: 5em; } input[type="checkbox"][disabled] + * { color: var(--fg-0-50); } @media (max-height: 640px), (max-height: 800px) and (max-width: 480px) { .body > p, .body > ul { margin: 0.5em 0; } .vverbose { display: none !important; } } /** On mobile device, the on-screen keyboard may take up so much space that it overlaps the content being edited. The rule below makes it possible to scroll the edited content within view. */ :root.mobile { overflow: auto; } :root.mobile body { min-height: 600px; }