.pointer { cursor: pointer; }
.section_title.pointer:hover { background-color: #004c99; }
.subsection_title.pointer:hover { background-color: #85adad; }
.subsubsection_title.pointer:hover { background-color: #cdd; }

.top-buffer {
    margin-top: 3em;
}

.grey {
    background-color: #CCCCCC;
}

.simple-border {
    border: solid black 1px;
}