html {
    height: 100%;
}

body {
    margin: 0;
}

textarea {
    -webkit-box-sizing: border-box;
    /* Safari/Chrome, other WebKit */
    -moz-box-sizing: border-box;
    /* Firefox, other Gecko */
    box-sizing: border-box;
    /* Opera/IE 8+ */
}

#output {
    border: none;
    resize: none;
    padding: 10px;
    color: #666;
    background-color: lightyellow;
    width: 100%;
    height: 100%;
    float: none;
    font-family: 'Oxygen Mono', Consolas, 'Liberation Mono', 'DejaVu Sans Mono', monospace;
    font-size: 14px;
}

#loading {
    text-align: center;
    width: 100%;
    padding: 5px 10px 5px 10px;
    margin-bottom: 0px;
    margin-top: 0px;
}

div.uk-button-group {
    width: 100%;
}