@font-face {
    font-family: Industry;
    src: url("font/IndustryTest-Bold.otf");
}

@font-face {
    font-family: Mechsuit;
    src: url("font/Mechsuit.otf");
}

body {
    height: 100vh;
    display: flex;
    flex-direction: column;
}

main {
    height: 100%;
/*    overflow: auto;*/
/*    background-color: red;*/
}

.monospace {
    font-family: monospace;
}

.log-box {
    font-family: monospace;
    overflow: auto;
    white-space: pre;
}

header a.active {
    text-decoration: underline !important;
}

.flex {
    display: flex;
    flex-wrap: wrap; 
    align-items: baseline; 
    gap: .5rem;
}

.flex .float-right {
    margin-left: auto;
}