/* Base
   ========================================================================== */

.f-basic-spacing {
    margin: 20px auto;
}
.f-navbar-top {
    margin-bottom: 0;
}
.f-navbar-bottom {
    border-top: 1px solid #eee;
    margin: 50px auto 150px;
}

/* Google code prettify
   ========================================================================== */
pre.prettyprint {
    border: 1px solid #ccc !important;
    padding: 10px 15px !important;
}