body {background: white}
p {margin-left: 2cm; margin-right: 2cm}
div.container {width 100%; margin 0px; border 1px solid tan}
div.footer, div.header {padding: 1px; color: rgb(210,160,50); background-color: rgb(4,32,115); color: white); clear: left; text-align: center}
div.left {float: left; width: 188px; margin: 0; padding: 1px;
 border-right: 0px}
div.content {margin-left: 188px; border-left: 0px; padding: 1px}
a.menu {text-decoration: none}
a:hover.menu {background-color: red}
/* a.header {text-decoration: none} */
a:visited.header {color: white}
a.menu {color: black}
h1,h2,h3,h4,h5,h6 {text-align: center}
pre {margin-left: 2cm; margin-right: 2cm}
ul.margin {margin-left: 2cm; margin-right: 2cm}
ol.margin {margin-left: 2cm; margin-right: 2cm}
.red {color: red}
table.margin {margin-left: 2cm}