body {
    margin: 10px 20px;
}

h3 {
    padding-top: 0.5em;
    padding-bottom: 0.1em;
}


textarea {
    height: 60vh;
    /* margin-left: 5vw; */
}

textarea#codeQuestionExample {
    width: 100%; /* override textarea setting from common.css */
    height: auto;
    margin: 0;
}

textarea#code {
    height: 60vh;
}
textarea#consoleOutput {
    height: 15vh;
}
textarea#code2 {
    display: none; /* invisible by default */
    height: 15vh;
}


.navbar-brand {
    padding: 0 10px;
}

.answerForm>div {
    height: 1.8em;
}
.sideBySideButtons {
    display: inline-block;
}
#codeModeSelection {
    margin-left: 0;
    visibility: visible;
}
#languageSelection {
    float: right;
}
#languageSelection {
    margin-right: 0;
}
.sideBySideButtons>.radioWrapper {
    display: inline-block;
    min-width: 5em;
    border: 1px solid black;
    padding: 0;
    background-color: aliceblue;
    text-align: center;
    padding-right: 8px;
}
.sideBySideButtons>.radioWrapper>input {
    display: none;
}
.sideBySideButtons label {
    width: 100%;
}
#languageSelection>.radioWrapper:has(input:checked) {
    background-color: #1A80B6;
    color: antiquewhite;
}
#codeModeSelection>.radioWrapper:has(input:checked) {
    background-color: #1A80B6;
    color: antiquewhite;
}

code {
    background-color: linen;
    padding: 0 5px; 
}

div#sequenzSteuerung {
    display: inline-block;
    float: right;
    margin-right: 5px;
}
#codeQuestionContainer {
    display: grid;
}
#codeQuestionExampleDiv {
    display: none;
}
#codeQuestionExampleDiv > div {
    padding-left: 0;
}
#savedVersions {
    padding-right: .5em;
}

.CodeMirror{
    border-top: 1px solid grey;
    border-right: 1px solid grey;
    border-bottom: 1px solid grey;
    border-left: 1px solid grey;
    width: 100% !important;
}
#codeInputForm {
    /* width: 80vw;
    margin-left: 5vw; */
    width: 100%;
}
#consoleOutput {
    width: 100%;
}
#hamsterDiv {
    width: 100%;
    height: 80vh;
}
#hamsterFrame {
    width: 100%;
    height: 100%;
}