* {
    margin: 0;
}

body {
    min-height: 100dvh;
    font-family: sans-serif;
    background-color: #ffffff;
    display: flex;
    flex-direction: column;
}

a {
    text-decoration: none;
}

abbr[title] {
    cursor: help;
}

h1, h2 {
    font-weight: bold;
}

dd, ol, ul {
    display: inline-block;
    margin-left: 1em;
    text-align: left;
}

dt {
    font-weight: bold;
};

input {
    width: 100px;
    padding: 5px;
    font-size: 16px;
    margin-right: 10px;
}

button {
    padding: 6px 12px;
    font-size: 16px;
    cursor: pointer;
}

button:disabled {
    background-color: #ccc;
}

hr {
    margin: 8px;
    border: 2px solid black;
}

.indent {
    display: inline-block;
    margin-left: 1em;
}

.auth {
    text-align: right;
}

.subtitle {
    color: #777;
    font-size: 17px;
    font-weight: bold;
};

.m {
    flex: 1;
}

div.h {
    margin: 0;
    margin-bottom: 4px;
    padding: 4px; 
    background-color: black;
    color: white;
    border-bottom: 3px solid #003fff;
}

div.f {
    min-height: 50px;
    margin: 0;
    margin-top: auto;
    padding: 4px;
    flex: 0; 
    background-color: black;
    color: white;
    border-top: 3px solid #003fff;
}

a.wl, a.wl:link, a.wl:visited {
    color: #888;
}

a.wl:hover {
    color: #aaa;
    text-decoration: underline;
}

code, kbd {
    font-size: 14px;
    font-family: monospace;
}