a { color:#E4E6F2; }
a:hover { color:#2C5F8C; background-color:#AFC1DB; }
body { background-color:#B1B7CD; color:#000000; margin-top:24pt; }
div { color:#000000; font-family:Verdana; font-size:13pt; line-height:175%; margin-left:8%; margin-top:20pt; margin-bottom:20pt; max-width:80%; text-align:justify; }
h1,.h1 { background-color:#47577E; color:#E3E6F2; font-family:Verdana; font-size:18pt; font-weight:bold; margin-right:8%; margin-top:0pt; max-width:70%; text-transform:uppercase; }
h2,.h2 { background-color:#47577E; color:#E3E6F2; font-family:Verdana; font-size:16pt; font-weight:bold; margin-left:4%; max-width:70%; text-transform:uppercase; }
.hl { font-weight:bold; font-family:fixed,monospace; color:#000020; }
.hl:before { content:"\00BB"; }
.hl:after { content:"\00AB"; }
.shell { background-color:#000000; color:#EEEEEE; font-family:Monospace; font-weight:bold; font-size:12pt; max-width:60% }