body { box-sizing: border-box; left: 0; height: 100vh; margin: 0; overflow: auto; padding: 0; position: absolute; right: 0; top: 0; } body > div.body { padding: 0 0.5em 0.5em 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; } a.info { color: black; opacity: 0.3; } a.info:hover { opacity: 0.9 } a.info.important { color: orangered; } button { padding: 0.33em; } input[type="number"] { width: 5em; } input[type="checkbox"][disabled] + label { opacity: 0.4; } .para { width: 40em; } .synopsis { font-size: small; opacity: 0.8; } .whatisthis { margin: 0 0 0 8px; border: 0; padding: 0 0 4px 0; width: 16px; height: 16px; background: url('../img/help16.png') no-repeat; cursor: pointer; opacity: 0.5; vertical-align: middle; } .whatisthis:hover { opacity: 1.0; } .whatisthis-expandable { margin: 0.5em 0 1em 1.25em; padding: 0.5em; display: none; border: 1px dotted black; background-color: #F8F8F8; font-size: 13px; white-space: pre-line; } .whatisthis-expandable > p { margin-top: 1em; margin-bottom: 0; } .whatisthis-expandable > p:first-child { margin-top: 0; } .whatisthis-expandable.whatisthis-expanded { display: block; } .warn { margin: 0; padding: 5px; background-color: #FEDAE0; } @media (max-height: 640px) { .vverbose { display: none !important; } }