LI { padding-bottom:1em }

  TT { font-weight:bold }

 PRE { font-weight:bold }
 
div.nav, hr.nav, center.nav { display: none; }