h1 { font-family: "arial", "Verdana", "Helvetica", "sans-serif"; 
     font-size: 32pt; margin-bottom: 0; color: #202070; }
h2 { font-family: "arial", "Verdana", "Helvetica", "sans-serif"; 
     font-size: 28pt; margin-bottom: 0; color: #502020; }

a { font-weight: bold; color: #000066; text-decoration: none; }
a.ext { font-weight: bold; color: #0066cc; text-decoration: none; }
a.file { font-weight: bold; color: #000066; text-decoration: none; 
         font-family: "courier"; font-size: 80%; }

.start { font-size: 120%; }

strong { //color: #202050; 
         color: #505000;
         font-weight: bold; }

p.menu { font-size: 90%; padding-right: 2em; padding-left: 2em; }
font.sep { font-size: 140%; padding-right: 1em; padding-left: 1em; }

p { max-width: 100ex; }
div.blockquote { max-width: 100ex; }