@font-face {
    font-family: 'ibm8x16';  /* You can name it anything you want */
    src: url('Web437_IBM_VGA_8x16.woff') format('woff');  /* path to your woff file */
    font-weight: normal;  /* Adjust as needed */
    font-style: normal;  /* Adjust as needed */
}

@font-face {
    font-family: 'ibm9x16';  /* You can name it anything you want */
    src: url('Web437_IBM_VGA_9x16.woff') format('woff');  /* path to your woff file */
    font-weight: normal;  /* Adjust as needed */
    font-style: normal;  /* Adjust as needed */
}

html {
    background: #100F0F;
    color: #CECDC3;
    font-family: 'ibm9x16', monospace;
}

body {
    font-size: 18pt;
}

header {
    text-align: center;
    margin-bottom: 4em;
    margin-top: 4em;
}

header a {
    color: #205EA6;
    text-decoration: none;
}

#mazeDisplay {
    color: green;
    font-size: 0.35em;
}

main {
    text-align: center;
}

pre {
    color: rgb(0, 255, 0);
    font-size: 6pt;
}

.menu {
    list-style-type: none;
    display: inline-block;
    padding: 0;
    text-align: left;
}

.menu li {
    margin-top: 50px;
}

.menu a {
    text-decoration: none;
    padding: 5px 10px;
}

.menu a:hover {
    text-decoration: underline;
}


.dir {
    color: #205EA6;
}

.page {
    color: #878580;
}

.link {
    color: #BC5215;
}

.folder {
    color: #CECDC3;
}