.alt-highlight { background-color: #ffffff; padding: 4px; }
.alt-highlight-bottom { background-color: #ffffff; padding: 4px; border-bottom: solid black; border-width: 1px; }
.highlight { background-color: #f7f7f7; border-top: solid black; border-bottom:  solid black; border-width: 1px; padding: 4px; }
.highlight-box { border: solid black; border-width: 1px; background-color: #f7f7f7; font-size: 10pt; font-weight: normal; color: black;}