/* dark blue: 51, 122, 183  #337ab7 */
/* light blue: 72, 176, 222 #48b0de */

.strong {
    font-weight: bold;
}
hr {
    border: 0;
    color: black;
    background-color: black;
    height: 3px;
}
.whitebg {
    background: white;
}
.greybg {
    background: #eeeeee;
}
.bluebg {
    background: #48b0de;
}
.blurb {
    float: right;
}
.redborder {
    border: 1.5px;
    border-color: red;
    border-style: solid;
}

/********* END NEW STUFF ***************/


.table-of-contents {
    height:83%;
    overflow:scroll;
    background: #eee;
    font-size: 0.8em;
    border: 1px solid #ccc;
    padding: 1em 2em;
    margin: 0 0 0 1.5%;
}
.table-of-contents ul {
    padding: 0;
}
.table-of-contents li {
    margin: 0 0 0.25em 0;
}
.table-of-contents a {
    text-decoration: none;
}
.table-of-contents a:hover,
.table-of-contents a:active {
    text-decoration: underline;
}