html {
    /* Always show scrollbar so that the content doesn't shift when a scrollbar appears */
    overflow:scroll;
}

body,
button {
    font-family: Consolas, 'Courier New', Courier, 'Nimbus Mono L', monospace;
}

.header {
    position: fixed;
    width:100%;
    height:60px;
    top:0;
    left:0;
    margin-top:0;
    display:block;
    z-index: 3;
    background-color:white;
}

.expandTheFrontierButtonDiv {
    max-width: 760px;
    margin-left:auto;
    margin-right:auto;
    margin-top:20px;
}

#container {
    max-width: 760px;
    margin: 0 auto;
    padding-top:70px;
}

.algorithmSelected #introText,
.algorithmSelected .algorithmButtonDiv {
    display:none;
}

body:not(.algorithmSelected) .expandTheFrontierButtonDiv,
body:not(.algorithmSelected) #results {
    display:none;
}

.algorithmButtonDiv {
    float:left;
    margin:10px 30px;
}

.algorithmButtonDiv button {
    height:100px;
    width:300px;
}

div.result {
    margin: 20px 0;
    -ms-line-break:loose;
    -webkit-line-break: loose;
    line-break:loose;
    overflow:auto;
}

div.metadata {
    float:left;
    color:blue;
    padding-right:30px;
}

div.metadata span {
    display:block;
}

span.iteration:before {
    content: "Iteration ";
}

span.count:after {
    content:" new theorems";
}

span.perf:after {
    content:"ms";
}

div.data {
    clear:right;
    margin:0;
    max-height: 7em;
    overflow:auto;
}