p  {font-family : sans-serif; font-size : 9pt; margin-top : 0; margin-bottom : 5; margin-right : 10;}
h1 {font-family : sans-serif; font-size : 18pt; color : #E71C29; margin-bottom : 10; margin-top : 10;}
h2 {font-family : sans-serif; font-size : 12pt; color : #006600; margin-bottom : 10; margin-top : 10;}
h3 {font-family : sans-serif; font-size : 12pt; color : #FF0000; margin-bottom : 10; margin-top : 10;}
pre {font-family : monospace; font-size : 9pt; color : #000000;}
a {text-decoration: none; font-family : sans-serif;}
a:hover {color:red}
body {font-family : sans-serif; font-size : 9pt; padding-left : 0; margin-top : 0; margin-bottom : 0;}
ol {font-family : sans-serif; font-size : 9pt;}
ul {font-family : sans-serif; font-size : 9pt;}
li {font-family : sans-serif; font-size : 9pt; margin-bottom : 5; margin left : 5}
kbd {font-family : monospace; font-size : 9pt; color : #993333;}