/*.hidden {*/
/*display: none;*/
/*}*/

body {
    padding: 20px;
}

.hiddenTab {
    /*width: 0;*/
    /*height: 0;*/
}

.large-text-area {
    height: 400px;
    margin: 10px;
}

.code-area.horizontal {
    width: 50%;
    /*height: 620px;*/
    float: left;
}

.code-area.vertical {
    width: 100%;
    /*height: 620px;*/
    float: none;
}

.result-area.horizontal {
    width: 50%;
    float: left;
}

.result-area.vertical {
    width: 100%;
    float: none;
}

.result-area {
    width: 50%;
    /*height: 620px;*/
    float: left;
}

.sample-view {
    margin: 10px;
}

.sample-view button {
    margin: 5px;
}

.sample-view input[type=checkbox] {
    margin-right: 5px;
}