body {
    padding-top: 60px;
    padding-bottom: 40px;
}

.terminal {
    color: #c0c0c0;
    font-size: 1em;
    background: #000000;
}


pre {
    margin-top: 10px;
    color: #333;
}


.tablenum {
    font-weight: bold;
}