.jumbotron pre {
    padding: 20px;

}

#main-cont {
    position: relative;
    top: 75px;
}

#grammar {
    position: relative;
    color: blue;
    padding-top: 30px;
}

#grammar-file {
    position: absolute;
    top: 0px;
    right: 0px;
    border: solid black 1px;
    padding: 5px;
    font-family: "Courier New", Courier;
    font-size: 100%;
    clear: both;
}