body { margin-left: 16 }
div.indented { padding-left:32px }
div.indent146 { padding-left:146px }
div.rindented { padding-right:16px }
A:link, A:visited, A:active { text-decoration: none; color: #0000aa }
A:hover { color: #0000ff } 
p.menu { margin-left: 24; text-align: left; line-height: 1.5; }