html {
    height: 100%;
    margin: 0px;
    padding: 0px;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica", "Segoe UI", sans-serif;
    margin: 0px;
    padding: 0px;
    background-color: #e5e5e5;
    color: #fff6f6;
    width: 100%;
    height: 100%;
}

.menu-container {
    background-color: #b70032;
    width: 100%;
    display: table;
    margin: 0px;
    padding: 0px;
}

.menu-container form {
    display: table-cell;
    width: 100%;
    height: 2em;
    vertical-align: middle;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

.CodeMirror {
    width: auto;
    height: auto;
    flex: 1;
    min-width: 40em;
}

.MessageWidgetContainer {
    cursor: default;
}

.MessageWidgetBase {
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
    border-radius: 3px;
    border-style: solid;
    color: white;
    display: inline-block;
    margin-top: 4px;
    margin-bottom: 1px;
    cursor: pointer;
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica", "Segoe UI", sans-serif;
}

.MessageWidgetError {
    background-color: #FF0000;
    border-color: #ff5e5e;
}

.MessageWidgetWarning {
    background-color: #f16c24;
    border-color: #ec8601;
}

.MessageWidgetInfo {
    background-color: #3259db;
    border-color: #1868e0;
}

.MessageWidgetNote {
    background-color: #9e2ea8;
    border-color: #c00ad8;
}

.MessageWidgetSupplemental {
    background-color: #9b979b;
    border-color: #adadad;
    margin-top: 1px;
}

.MessageWidgetContainerLast {
    margin-bottom: 10px;
}

.PositionIndicatorHighlight {
    background-color: #58584d;
}

.RangeIndicatorHighlight {
    background-color: #4d584d;
}

/*
.MessageWidgetHelpButon {
    background-color: #4c85c9;
    color: white;
    margin-left: 0.5em;
    border-radius: 50%;
    border-style: solid;
    border-color: white;
    border-width: 1px;
    width: 1em;
    height: 1em;
    display: inline-block;
    text-align: center;
    cursor: pointer;
}
*/

input {
    font-family: mono;
}

#wrapper {
    height: 100%;
    display: flex;
    flex-direction: column;
}

#evalText {
    float: right;
}

#logo {
    width: auto;
    height: 1em;
    position: relative;
    top: 0.1em;
}