@font-face {
    font-family: d7;
    src: url("./fonts/DinkieBitmap-7px.woff2");
}
@font-face {
    font-family: d7c;
    src: url("./fonts/DinkieBitmap-7pxCode.woff2");
}
@font-face {
    font-family: d7i;
    src: url("./fonts/DinkieBitmap-7pxItalic.woff2");
}
@font-face {
    font-family: d9;
    src: url("./fonts/DinkieBitmap-9px.woff2");
}
@font-face {
    font-family: d9c;
    src: url("./fonts/DinkieBitmap-9pxCode.woff2");
}
@font-face {
    font-family: d9i;
    src: url("./fonts/DinkieBitmap-9pxItalic.woff2");
}
body {
    margin: 0;
    padding: 0;
    background-color: #2c2c2c;
    color: white;
    font-family: d9, monospace;
    height: 100vh;
}
textarea {
    font-family: d7c, monospace;
    font-size: 16px;
    border: none;
    padding: 8px;
    box-sizing: border-box;
    resize: none;
    width: 100%;
    height: 100%;
    font-family: d9c, d9;
    font-size: 15px;
    color: #9cdcfe;
    width: 100%;
    background-color: #1f1f1f;
    line-height: 22px;
    resize: none;
    border-width: 1px;
    border-color: gray;
    border-radius: 5px;
}
code{
    font-family: d9c, monospace;
}
button {
    font-family: d9, monospace;
    font-size: 14px;
    padding: 6px 12px;
    margin: 4px 0;
    border: none;
    border-radius: 0;
    background-color: #007acc;
    color: white;
    cursor: pointer;
}
select {
    font-family: d9, monospace;
    font-size: 14px;
    padding: 4px 8px;
    margin: 4px 0;
    border: 1px solid gray;
    border-radius: 0;
    background-color: #1f1f1f;
    color: white;
    cursor: pointer;
}
option {
    background-color: #1f1f1f;
    color: white;
    border-radius: 0;
}