DIV.menu    { font-family: sans-serif,arial,helvetica;
              font-size: small;
              padding-top: 6pt }
DIV.menu H1 { font-size: small }
DIV.menu UL { margin-left: 1em;
              padding-left: 1em }
DIV.menu LI { margin: 0em;
              padding: 0em }
DIV.menu A  { text-decoration: none }
DIV.menu P.first { margin: 0em 0em .25em 1em }
DIV.menu P.second { margin: 0em 0em .25em 2em }
H1  { font-size: x-large }
H2  { font-size: large }
H3  { font-size: medium }