/*
 * Include this stylesheet to use the Tek4051 font converted to a outline
 * font in the WOFF format.
 *
 * Note that WOFF kinda sucks at being used for bitmap fonts.
 *
 ***********************************************************************/


@font-face {
    font-family: "Tek4051";
    src: url("Tek4051.woff") format("woff");
    font-display: swap;
}



html, input, pre {
    line-height: 1.5;
    font-family: Tek4051, monospace;
    font-size: 16px;
    font-smooth: never;
}

#fontconfig li a, #fontconfig li a::before {
    text-decoration: none;
    content: '→ ';
    padding-left: 5px;
}

small {
    font-size: 100%;
    opacity: .7;
}


* {
    font-weight: normal;
}

/* Undo the in-HTML styling, if any. */
html, body {
    background: inherit;
    color: inherit;
}


/* Add ‘crt’ to the query string for effects. :3 */


menu, ul {
    list-style: '→';
}

#fontconfig {
    float: right;
    list-style: none;
    border: 2px groove;
    padding: .5em 0;
    margin-top: none;
    margin-left: 1em;
    padding-top: none;
}

menu li {
    margin: .5em;
    padding: 0 .5em;
}