ol > li {
    margin-bottom: 5px;
}

#menu > ul {
    list-style-type: none;
    padding: 0;
}

#menu > ul > li {
    display: inline;
}

#content {
    width: 960px;
}

.codebox {
    display: inline-table;
    font-family: monospace;
    margin-top: 2px;
    margin-bottom: 2px;
    padding: 5px;
    border: 1px solid black;
    font-size: 1.2em;
    font-weight: bold;
    color: darkred;
}

.bold {
    font-weight: bold;
}

.italic {
    font-style: italic;
}