body {
    height: 100%;
}

.jumbotron {
    margin-top: 35px;
}

.drivebar {
    margin-top: -35px;
    border-top: 1px #e7e7e7 solid;
    background-color: #f8f8f8;
    border-bottom: 1px #e7e7e7 solid;
    height: 50px;
}

.social-buttons {
    margin-left: -40px;
}

.social-buttons > li {
    padding-top: 0;
    float: left;
    position: relative;
    display: block;
}

.tab-buttons {
    margin-left: -60px;
}

.tab-buttons > li {
    padding-top: 0;
    padding-left: 20px;
    float: left;
    position: relative;
    display: block;
}

.tab-buttons > li > a {
    text-align: center;
    color: #333; 
    text-decoration: none;
}

.tab-buttons > li > a:hover {
    text-align: center;
    color: #10649b; 
    text-decoration: none;
}

.page-content {
    padding-top: 20px;   
}

.highlight {
    display: block;
    padding: 9px 14px;
    margin-bottom: 14px;
    background-color: #f7f7f9;
    border: 1px solid #e1e1e8;
    border-radius: 4px;
}

.highlight pre {
    padding: 0;
    margin-top: 0;
    margin-bottom: 0;
    background-color: transparent;
    border: 0;
    white-space: nowrap;
}

pre {
    display: block;
    padding: 9.5px;
    margin: 0 0 10px;
    font-size: 13px;
    line-height: 1.428571429;
    color: #333333;
    word-break: break-all;
    word-wrap: break-word;
    background-color: #f5f5f5;
    border: 1px solid #cccccc;
    border-radius: 4px;
    white-space: nowrap;
}

code, pre {
    font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
}

.highlight pre code {
    font-size: inherit;
    color: #333;
}

pre code {
    padding: 0;
    font-size: inherit;
    color: inherit;
    white-space: pre-wrap;
    background-color: transparent;
    border: 0;
}

code {
    padding: 2px 4px;
    font-size: 90%;
    color: #c7254e;
    white-space: nowrap;
    background-color: #f9f2f4;
    border-radius: 4px;
}

code > i {
    color: #9f7b1a;   
}

.line {
    border-bottom: 1px #eaeaea solid; 
}

.my-footer {
    z-index: 1030;
    height: 60px;
    display: block;
    box-sizing: border-box;
    border-top: 1px #e7e7e7 solid;
    background-color: #f8f8f8;
}

.wrapper {
    min-height: 100%;
    height: auto !important;
    height: 100%;
    /* Negative indent footer by its height */
    margin: 0 auto -60px;
    /* Pad bottom by footer height */
    padding: 0 0 60px;
}

/* Wrapper for page content to push down footer */
#wrap {
    min-height: 100%;
    height: auto !important;
    height: 100%;
    /* Negative indent footer by its height */
    margin: 0 auto -60px;
    /* Pad bottom by footer height */
    padding: 0 0 60px;
    position: relative;
}

/* Set the fixed height of the footer here */
#footer {
    height: 60px;
    background-color: #f8f8f8;
    border-top: 1px #e7e7e7 solid;
    /*z-index: 1030;
    position: absolute; ---> There is a bug with this footer.
    bottom: 0;
    right: 0;
    left: 0;
    margin-bottom: 0px;*/
}

#wrap > .container {
    padding: 10px 15px 0;
}
.container .credit {
    margin: 20px 0;
}

#footer > .container {
    padding-left: 15px;
    padding-right: 15px;
}

code {
    font-size: 80%;
}

.lfs-frame {
    width: 100%;
    left: 0;
    right: 0;
    height: 100%;
    min-height: 1200px;
}