body {
    margin-top: 10mm;
    margin-left: 10mm;
    width: 80%;
    font-size: 16pt;
    font-family: Arial;
}
li {
    margin-top: 2mm;
    margin-bottom: 2mm;
}
.red {
    color: red;
    font-weight: bold;
}
.code {
    font-size: 15pt;
    font-family: monospace;
    white-space: pre;
    margin-left: 10mm;
    margin-bottom: 5mm;
    margin-top: 0mm;
}
.links {
    margin-bottom: 5mm;
    font-size: 14pt;
}
.indexlink {
    margin-left: 5mm;
    margin-right: 5mm;
}
a {
    text-decoration: none;
    color: blue;
}