header {
    margin-bottom: 30px;
}

.nav-left-indent .nav {
    margin-left: 15px;
}

pre {
    background-color: #f8f8f8;
}