/* MAIN */

html {
    height: 100%;
}

body {
    padding: 0;
    margin: 0;
    border: 0;
    height: 100%;
}

.hidden {
    display: none;
}

.box, .box-source, .box-output, .box-button {
    padding: 0px;
    margin: 1em;
}

.box-output, .box-source {
    font-size: 12pt;
}

.box-source {
    white-space: pre-wrap;
    padding-left: 20px !important;
    outline: 0px solid transparent;
}

.box-output p {
    margin: 0;
}

.box-container {
    /*overflow: hidden;*/
    margin: 1em;
    /*width: 660px;*/
}

.box-button {
    font-weight: bold;
    float: left;
    width: 20px;
    margin: 0;
    padding: 0;
}

.box-source, .box-output {
    margin: 0;
    padding: 0;
    text-align: justify;
}

.column {
    margin: auto;
    padding: 40px 20px 100px 20px;
}

#scroll-area {
    width: 100%;
    height: 100%;
    padding: 0;
    margin: 0;
    border: 0;
}

/* MENU */

#menu, #menu a, .menu-page, #menuanchor {
    display: none;
}
