html, body {
    height: 100vh;
    margin: 0px;
    padding: 0px;
    background-color: white;
}

    /* Opera fix */

    body:before {
        content: "";
        height: 100vh;
        float: left;
        width: 0;
        margin-top: -32767px;
    }

body, .stdfont {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
}

.stdfontbutton {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
}

.section_title {
    height: 20px;
    margin-top: 8px;
    margin-left: 12px;
    font-weight: bold;
    color: #555555;
}

.no_resize {
    resize: none;
}