a {
    text-decoration: none;
    color:rgb(56, 94, 94)
}


.header {
    font-family: monospace;
    border-radius: 5px;
    padding:0px;
    color:#300d0d;
    text-align:center;
    font-size:120%;
    -webkit-user-select:none;
    -moz-user-select:none;
    -ms-user-select:none;
    user-select:none
  }

.toolbar {
    background-color:rgb(187, 230, 255);
    margin-left: 10px;
}

.row {
    height: 85vh;
    display: flex;
    flex-direction: row;
    justify-content:space-evenly;
    min-height: 300px;
}

.editor {
    float:left;
    width:100%;
    height:100%;
    margin:.1%;
    margin-top:.5%;
    padding:0 10px;
    border-radius:5px
}

.output {
    float:left;
    width:100%;
    height:100%;
    margin:.1%;
    margin-top:.5%;
    padding:0 10px;
    border-radius:5px
}

@media screen and (max-width:940px) {
    .row{flex-direction:column}
}