@font-face {
    font-family: "VGA";
    src: url("vga.woff") format("woff");
} 

@font-face {
    font-family: "EGA";
    src: url("ega.woff") format("woff");
} 

body{
    margin:0; 
    background-color:#000;
    color: #bbff00;
    font-family: EGA;
}

img{
    display: none;
}

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%;
}