div#options {
    float: left;
}

div#main {
    display: inline-block;
}

body {
    margin: 0;
    height: 100%;
    background-color: lightgrey;
    font-family: monospace;
    font-size: 15px;
}

.menu {
    position: fixed;
    right: 0;
}