.top { background-color: #aedbe7; margin=0; padding=0; }
body { margin: 0; }
h1 { margin-top: 0; margin-left: 8px; padding-top: 5px; }
h2 { margin-left: 8px; margin-top: 20px; margin-bottom: 10px; margin-right: 10px; }
h3 { margin-left: 8px; margin-top: 20px; margin-bottom: 10px; margin-right: 10px; }
h4 { margin-left: 8px; margin-top: 20px; margin-bottom: 10px; margin-right: 10px; }
p { margin: 8px; }
pre { margin: 26px; }
A {text-decoration: none;}