body {margin: 15px 0px 0px 0px; }
a {color: #0000DE; }
a:visited {color: #800080; }
a:hover {color: #CC3434; }
ul {margin-bottom: 0; }
.awsname {font-size: 10pt; }
h1 {font-weight: normal; font-size: 10pt; margin-top: 3; margin-bottom: 1; }
h2 {font-size: 12pt; margin-top: 1; margin-bottom: 1; }
h3 {font-weight: normal; font-size: 10pt; margin-top: 3; margin-bottom: 1; }