@font-face {
    font-family: "VGA";
    src: url("vga.woff") format("woff");
} 

@font-face {
    font-family: "EGA";
    src: url("ega.woff") format("woff");
} 

@font-face {
    font-family: "PC98";
    src: url("pc-9800.ttf") format("truetype");
    /* src:  url("x68000_sans.ttf"); */
  }

body{
    margin:0; 
    background-color:#444450;
    color: #bbff00;
    font-family: EGA;
    background: url("gfx/background.png");
    overflow:hidden;
}

img{
    display: none;
    image-rendering: crisp-edges;
  image-rendering: pixelated;
}

#img_border {
    display:block;
    position:absolute;
    z-index: 1;
}

div#editor_goes_here {
    margin: 0;
    padding: 0;
    overflow: hidden;
    position:absolute;
    z-index:-1;
}

div#game {
    position:relative;
    filter: drop-shadow(0px 0px 15px black) drop-shadow(0px 0px 15px black) drop-shadow(0px 0px 15px black) drop-shadow(0px 0px 15px black);
}

button.editorButton {
    color: #bbff00;
    border-color: #338800;
    background-color: #000000;
    font-family: VGA;
    font-size: 24px;
}

button.editorButtonSmall {
    color: #bbff00;
    border-color: #338800;
    background-color: #000000;
    font-family: EGA;
    font-size: 12px;
}

div#editorUI {
    position: absolute;
    width: 30%;
    top: 0px;
    display: none;
    max-height:100%;
    overflow-y: scroll;
    background-color: #001100;
}

div#levelLoad {
    display: none;
}

img.texturebutton {
    display: block;
}

button.textureSelectButton {
    color: #bbff00;
    border-color: #338800;
    background-color: #000000;
    font-family: VGA;
    font-size: 12px;   
    flex-wrap: wrap;
    max-width:20%;
}

div#propertyEditor {
    margin-top: 15px;
    margin-bottom: 15px;
    font-size:14px;
}

div#editorUndoDebug {
    position: absolute;
    width: 20%;
    left:80%;
    top: 0px;
    display: none;
    max-height:100%;
    overflow-y: scroll;
    background-color: #001100aa;
    color: #bbff0066;
    font-family: vga;
}

input {
    background-color: #000;
    font-family: VGA;
    font-size: 18px;
    color: #bf0;
    border: 2px #380 solid;
    max-width:50%;
}

textarea {
    background-color: #000;
    font-family: VGA;
    font-size: 18px;
    color: #bf0;
    border: 2px #380 solid;
    max-width:50%;
}

select {
    background-color: #000;
    color: #bf0;
    border: 2px #380 solid;
    font-family: EGA;
    width:100%;
}

select.propertyEditorCombo {
    width:50%;
}

option {
    font-family: EGA;
}

div#help {
    font-family: VGA;
}

div#gatewalkSplash {
    position:absolute;
    left:50%;
    top:50%;
    display:none;
}

img#gatewalkSplashImage {
    display: block;
    margin-left:-50%;
    margin-top:-70%;
}
