html {
    font-family: sans-serif;
    background-color: #f0f0f0;
}

div#minilang {
    height: 85vh;
    overflow-y: auto;
}

div.edit {
    width: 50vw;
    height: 90vh;
    float: left;
}

div.control {
    min-height: 30px;
}

textarea#program {
    width: 100%;
    height: 80%;
    padding: 1em;
    font-family: Inconsolata, Courier;
    background-color: black;
    color: white;
    font-size: 12pt;
    resize: none;
    white-space: pre;
    spellcheck: false;
    autocomplete: off;
    autocapitalize: none;
    wrap: off;
}

div#repl {
    width: 45vw;
    float: right;
}

div.output {
    width: 90%;
    white-space: pre-wrap;
    padding: 0em 1em 0 1em;
}

div.command {
    height: 2em;
}

.command input {
    display: inline-block;
    vertical-align: middle;
    font-family: Inconsolata;
    font-size: 12pt;
    border: none;
    width: 80%;
    margin: 0em 1em 0em 1em;
}

.connected {
    background-color: #aaf;
}

.disconnected {
    background-color: #faa;
}

img.connect {
    display: inline-block;
    vertical-align: middle;
    height: 2em;
}

button#send {
    background-color: rgb(125, 207, 161);
    border-radius: 5px;
    font-size: 1em;
    font-weight: bold;
    padding: 5px 10px 5px 10px;
}

h1 {
    text-align: center;
    width: 100%;
    display: block;
}

div.choice {
    display: flex;
    align-items: center;
    justify-content: center;
    flex: wrap;
}

div.choice a {
    display: inline-block;
    height: 100px;
    line-height: 100px;
    text-align: center;
    font-size: 2em;
    text-decoration: none;
    background-color: lightblue;
    color: black;
    margin: 1em;
    border-radius: 10px;
    flex: 2 1  250px;;
}

table {
     align-self: stretch;
     width: 100%;
     border-collapse: collapse;
}

table, th, td {
    border: 1px solid black;
}

th, td {
    padding: 15px;
    text-align: left;
}

th {
    background-color: #f2f2f2;
}

tr:nth-child(even) {
    background-color: #f2f2f2;
}

.success {
    background-color: green;
}

.fail {
    background-color: red;
}

span#helptip {
    display: inline-block;
    background-color: orange;
    width: .9em;
    height: .9em;
    font-size: 60%;
    border-radius: 10pt;
    padding: .2em;
    cursor: pointer;
    vertical-align: top;
}

div#help {
    background-color: white;
    overflow-y: auto;
    padding: 1em;
    width: 80vw;
    height: 70vh;
    border: 1px solid black;
    margin: auto;
    z-index: 10;
    position: fixed;
    top: 15vh;
    left: 10vw;
    display: none;
}

code {
    background-color: #222;
    color: #ddd;
    padding: 1pt 2pt;
    font-family: Inconsolata, Courier;
}

div#session {
    width: 80%;
    margin: 0em 1em 0em 1em;
    padding: .2em;
}