/* extension.php only: the list spacing under each heading, the download button, and the
   "this may get flagged by your browser" warning box. */

ul, ol {
    margin-top: 4px;
}
.download-button {
    display: inline-block;
    margin: 12px 0;
    padding: 8px 16px;
    border: 1px solid var(--fg);
    background: #dcedc8;
    color: #000000;
    text-decoration: none;
    font-weight: bold;
}
.warning-box {
    border: 1px solid var(--fg);
    background: #fdf3c0;
    color: #000000;
    padding: 10px 14px;
    margin: 12px 0 20px 0;
}
.warning-box p {
    margin: 6px 0;
}