// get fixed navbar on mobiles
@media (max-width: 767px) /* @grid-float-breakpoint -1 */
{
    .navbar-fixed-top
    {
    position: fixed;
    top: 0;
    margin-left:0;
    margin-right:0;
    }
}

.menu-icon{
    line-height: 8px;
    margin-right: 5px;
    position:relative;
    top:5px;
}

@media (min-width: 768px){
    .menu-text{
        display:none
    }
}
pre, code {
    /* restore default mono font */
    font-family: monospace;
}

// get fixed navbar on mobiles
@media (max-width: 767px) /* @grid-float-breakpoint -1 */
{
    .navbar-fixed-top
    {
    position: fixed;
    top: 0;
    margin-left:0;
    margin-right:0;
    }
}

.jumbotron {
  margin-bottom: 30px;
}

.menu-icon{
    line-height: 8px;
    margin-right: 5px;
    position:relative;
    top:5px;
}

@media (min-width: 768px){
    .menu-text{
        display:none
    }
}
pre, code {
    /* restore default mono font */
    font-family: monospace;
}

Reduce huge jumbotron bottom margin to something more consistent.
Reduce huge jumbotron bottom margin to something more consistent.
