#toc-col .navbar-toggle {
    padding-top: 5px;
    padding-bottom: 5px;
    margin-top: 4px;
    margin-bottom: 4px;
    background-color: #06c;
    border-color: #06c;
}
#toc-col .navbar-toggle.collapsed,
#toc-col .navbar-toggle.collapsed:focus,
#toc-col .navbar-toggle.collapsed:hover,
#toc-col .navbar-toggle.collapsed:focus:hover {
    background-color: #fff;
    color: #06c;
    border-color: #06c;
}
#toc-col .navbar-collapse {
    border: none;
    box-shadow: none;
    -webkit-box-shadow: none;
    padding: 0;
    overflow-x: hidden;
}

#toc p.heading-paragraph {
    font-weight: bold;
    font-size: 1.2em;
}

#toc p {
    display: block;
    margin-top: 10px;
    margin-bottom: 10px;
}

#toc a {
    color: #039;
    text-decoration: none;
}

#toc b.BigBigHeading {
    font-size: 1.3em;
    font-family: Arial,Helvetica,sans-serif;
}

#toc blockquote {

    border-left: 0;
    margin: -10px 1px 1px 1px;
    padding: 0;
    text-indent: -21px;
}

#toc blockquote a {
    color: #039;
    text-decoration: none;
}

#toc blockquote.toc-paragraph {
    margin-top: 0px;
    margin-left: 21px;
}

#toc .contents {
    font-weight: bold;
    padding: 10px 0;
    font-size: 1.3em;
    color: #039;
}

#statusinformation .si-heading {
    font-size: 1.2em;
    font-weight: bold;
    font-family: Arial, Helvetica, sans-serif;    
}

#statusinformation .si-heading-main {
    font-size: 1.48em;
}

#statusinformation .si-subheading {
    font-size: 1.0em;
    font-weight: bold;
    font-family: Arial, Helvetica, sans-serif;    
}

@media (min-width: 768px) {
    #toc-col {
        overflow-x : hidden;
        overflow-y : auto;
        padding-top: 10px;
        height: 100%;
    }
    
    #toc-col .navbar-brand {
        display: none;
    }

    #frag-col {
        padding: 10px 15px 10px 15px;
        overflow-y: auto;
        flex: 1 1 auto;
        height: 100%;
    }
}

@media (max-width: 767px) {
    #toc-col,
    #frag-col {
        padding-right: 15px;
        padding-left: 15px;
        position: relative;
        min-height: 1px;
    }
}