body {
    background-color: #007E7D;
}

#editing {
    opacity: 0;
    position: absolute;
    z-index: -1;
}

#labeledit {
    border: 1px solid black;
    padding: 4px;
    cursor: pointer;
    background-color: white;
    box-shadow: inset -1px -1px #fff,inset 1px 1px grey,inset -2px -2px #dfdfdf,inset 2px 2px;
}

#labeledit:hover {
    background-color: rgb(0, 0, 128);
    color: white;
}

#mainDiv {
    position: absolute;
    z-index: 9;
}

html, body, #mainDiv, #window-text, #text {
    width: 95%;
    height: 94%;
    resize: none;
}

#fileName {
    font-size: 11px;
    padding: none;
    margin: none;
}