body { font-size: 14px; line-height: 19px; }
.section, .docheader { font-size: 1.7em; }
a.subnavlink, a.subnavlink:visited, a.subnavlink:hover { font-size: 11px; }