body { font-size: 52.5%; }
#bof-top-navigation a {line-height: 3.5em; }
.layout .toc-layout-main .headertitle-large a { font-size: 10px; }