body > div.body { padding: 0 0.5em; } h2, h3 { margin: 1em 0; } h2 { font-size: 18px; } h3 { font-size: 16px; } a { text-decoration: none; } .fa-icon.info { color: var(--info0-ink); fill: var(--info0-ink); font-size: 115%; } .fa-icon.info:hover { transform: scale(1.25); } .fa-icon.info.important { color: var(--info2-ink); fill: var(--info2-ink); } .fa-icon.info.very-important { color: var(--info3-ink); fill: var(--info3-ink); } input[type="number"] { width: 5em; } @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; }