@font-face {
    font-family: "Erbaum Book";
    src: url("static/Erbaum-Book.ttf");
}

* {
    font-family: "Erbaum Book", "Courier New", Courier, monospace;
}

.header {
    justify-content: center;
    text-align: center;
}
ol li {
    list-style-position: inside;
}
#table {
    line-height: 200%;
}
footer {
    padding-top: 3px;
    padding-bottom: 3px;
    padding-left: 30px;
    background: #444;
    color: white;
}
a.foo:hover {
    text-decoration-color: black;
    color: black;
}
a.foo {
    text-decoration-color: white;
    color: white;
}