body {
    height: 100%;
}
p {
    padding: 0;
    margin: 0;
    margin-bottom: 0;
    border-bottom-width: 0;
    padding-bottom: 0;
}
ul {
    padding: 1em;
    margin: 0;
    margin-top: 0;
    border-top-width: 0;
    padding-top: 0;
}
div.orderedlist {
    margin-top: 0;
}
div.sidebar {
    width: 10.1em;
    padding-left: 0.5em;
    padding-right: 0.5em;
    height: 100%;
    border-top: 0.1em solid gray;
    background: #D5F8FF;
}
div.figure {
    width: 50%;
    float: left;
}
/* we leave some place on the side using the margin-* properties */
#main {
    margin-left: 10.2em;
    margin-right: 10.2em;
    padding-left: 1em;
    padding-right: 1em;
/* border-top: 0.1em solid gray; */
/* background:red; */
}
/* and then we put each list on its place */
#runNav {
    float: left;
    border-right: 0.1em solid gray;
    border-left: 0.1em solid gray;
/* background:yellow; */
}
#select {
    float: right;
    border-right: 0.1em solid gray;
    border-left: 0.1em solid gray;
/* background:green; */
}