body {
    background-color: #fff;
    box-sizing: border-box;
    color: #000;
    margin: 0;
    padding: 0;
    }
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;
    }
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), (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;
        }
    }