body{
    margin: 0px;
    min-height: 100vh;
    display: flex;
    flex-direction: column;
    font-family: 'Montserrat', sans-serif;
    color: #555;
    padding-left: 20px;
    padding-right: 10px;
}
h1{
    font-size: 1.5em;
}
h2{
    font-size: 1em;
}
div.main{
    height: auto;
}
div.script{
    width: 97.5%;
    border-width: 1px;
    border-style: solid;
}
div.function{
    width: 100%;
}
div.functionH{
    border-width: 1px;
    border-style: solid;
    padding: 10px;
    background-color: ghostwhite;
    font-weight: bold;
}
div.functionB{
    border-width: 1px;
    border-style: solid;
    padding: 10px;
    padding-top:0px;
}
pre{
    overflow: auto;
}
input.wide{
    width: 95%;
    box-sizing: border-box;
}
div.p{
    margin-top: 6px;
    margin-bottom: 6px;
}
div.bold{
    margin-top: 12px;
    margin-bottom: 12px;
    font-weight: bold;
}
div.col{
    margin-top: auto;
    flex: 1;
}
div.help{
    margin-bottom: auto;
    margin-right: 20px;
    text-align: right;
    flex-grow: 2;
}
.flex{
    display: flex;
}
@media screen and (max-width: 600px) {
    .flex {
        display: block;
    }
}
div.bottom{
    position: relative;
    height: auto;
    bottom: 0;
    flex: 1;
    display: flex;
}
div.float_bottom{
    margin-top: auto;
}
div.result{
    padding: 10px;
    background-color: aliceblue;
}
div.err{
    background-color: lightpink;
}
div.pre{
    white-space: pre;
    overflow: auto;

}
div.warn{
    padding: 10px;
    background-color: bisque;
    margin: 6px;
}
button{
    margin-top: 6px;
    margin-bottom: 6px;
}
textarea{
    width: 100%;
    box-sizing: border-box;
    height: 15em;
    display: block;
}