body {font-size: smaller;}
#navigation {display: none;}
dt {font-weight: bold;}
dd {margin-bottom: 1em;}
.nobr {white-space:nowrap}
.screen-only {display: none;}