body {
 font-family:"Times New Roman",serif;
 font-weight:bold;
 font-size:100%;
 text-align:justify;
 color:black;
 background:#fefaf2;
 margin:2% 3% 3% 2%;
 padding: 0;
}
h1 {
 font-size:250%;
 color:#2900a9;
 text-align:center;
}
div.code {
 font-family:"Courier New",sans-serif;
 font-size:88%;
 text-align:left;
 word-spacing:-0.1em;
 line-height:1.3em;
 margin:0.5% 4% 2% 2%;
 padding: 0;
}
.nobr {
 white-space:nowrap;
}
a:link {
 color:#2010c9;
 background:#fefaf2;
}
a:visited {
 color:#9900c0;
 background:#fefaf2;
}
a:hover {
 color:#f02000;
 background:#fff9ec;
}
a:active {
 color:#008000;
 background:#fefaec;
}