* {
    font-family: Liberation Sans, DejaVu LGC Sans, Bitstream Vera Sans, Arial, Helvetica, sans-serif;
}

code {
    font-family: Liberation Mono, DejaVu LGC Sans Mono, Bitstream Vera Mono, Lucida Sans Mono, Courier, monospace;
    color: #337acc;
}

tt {
    font-family: Liberation Mono, DejaVu LGC Sans Mono, Bitstream Vera Mono, Lucida Sans Mono, Courier, monospace;
    color: #101010;
}

#materials {
    margin-top: 2em;
    padding-top: 1em;
    padding-bottom: 1em;
    border-top: 2px #dfdfdf solid;
}

#materials ol {
    margin-left: 3em;
}