body     { font-family: verdana, tahoma, helvetica; font-size: 10pt; color: #e9e9e9; background-color: black; }
#framed  { border-width:1px; border-style:solid; border-color:white; padding:4pt; text-align:justify; }
a        { font-family: verdana, tahoma, helvetica; font-size: 10pt; color: #b0b0c0; text-decoration:none; }
a:hover  { color: white; background-color: #202030; }
a:hover.black { background-color:#000000; }
p        { font-family: verdana, tahoma, helvetica; font-size: 10pt; text-align: justify;}
h1       { font-family: verdana, tahoma, helvetica; font-size: 12pt; color:white; font-weight:bold; 
           text-decoration: underline; margin-top:30px; }
h2       { font-size: 12pt; color:white; font-weight:bold; margin-top:20pt; margin-bottom:6pt; }
h3       { font-size: 10pt; color:white; font-weight:bold; margin-top:10pt; margin-bottom:5pt; }
address  { font-family: verdana, tahoma, helvetica; font-size: 10pt; margin-left: 1cm; }
table    { font-family: verdana, tahoma, helvetica; font-size: 10pt; }
b        { color: white; }
li       { text-align: justify }
span.highlighted { color:#80ff50 }
pre.code { margin: 10px;
           font-family: monospace; 
           background-color: #151525; 
		   color: #f0f0f0;
		   border:1px solid white;
		   padding:10px;
		 }
tr.dark { background-color:#101010; }
tr.bright { background-color:#303030; }