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

.themed {
    color: #71ff55;
}

* {
    font-family: "Erbaum Book", "Courier New", Courier, monospace;
    background-color: black;
    color: white;
}

.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;
    color: gray;
}
a:hover {
    color: #71ff55;
}
a {
    text-decoration: underline;
    color: white;
    transition: color 300ms;
}

table {
    border: 1px white solid;
    border-collapse: collapse;
}
td {
    border: 1px white solid;
    padding: 0.5rem;
}