@font-face {
    font-family: "pxplus_ibm_vga8regular";
    src: url("/~rederick29/fonts/PxPlus_IBM_VGA8.woff") format("woff");
    src: url("/~rederick29/fonts/PxPlus_IBM_VGA8.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "pc98";
    src: url("/~rederick29/fonts/PC_9800.woff2") format("woff2");
    src: url("/~rederick29/fonts/PC_9800.woff") format("woff");
    src: url("/~rederick29/fonts/PC_9800.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

.main-title {
    color: #f55;
}

body {
    margin: 0px;
    font-family: "pxplus_ibm_vga8regular", "pc98", "courier new", "monospace", "Noto Sans" !important;
    line-height: 1.3;
}

#outer-div {
    display: flex;
    flex-direction: row;
}

#contents {
    margin: auto;
    margin-top: 0px;
}

#sidebar {
    padding-right: 2em;
}

#sidebar nav {
    word-wrap: normal;
    text-wrap: nowrap;
    width: fit-content;
}

i.note {
    color: #887;
}

code, kbd {
    font-family: "pxplus_ibm_vga8regular";
    background-color: #222;
    color: #ca7;
}

pre code {
    display: block;
}