body {
    font-family: mono, monospace, consolas;
    font-size: 12px;
    background-color: #ffffff;
    color: #000000;
    margin: 32px;
    margin-bottom: 16px;
    user-select: none;
}
h1 {
    font-size: 20px;
    margin-top: 0px;
}
h2 {
    font-size: 16px;
    margin-top: 0px;
}
h3 {
    font-size: 14px;
    margin-top: 0px;
}
div {
    padding-bottom: 16px;
    width: 50%;
}
ul {
    margin: 0px;
}
li {
    margin: 4px;
}
a, a:visited {
    color: #000000;
    cursor: pointer;
    text-decoration: underline;
}