.style0 { line-height : 120% ; margin-left : 1em ; margin-right : 1em  }
.style1 {  font-family: Arial; font-size : 18pt; text-align : center; color : black  }
.style2 { font-family: Arial; font-size : 14pt; line-height : 120% ; margin-left : 3em ; margin-right : 3em; color : black  }
.style2b { font-family: Arial; font-size : 14pt; line-height : 120% ; color : black  }
.style3 { font-family: Arial; font-size : 12pt; line-height : 120% ; }
.mainheader   {  font-size : 24pt; text-align : center; color : #0000aa;  }
.bigpurple    {  font-size : 24pt; text-align : center; color : #8322ff;  }
.smallheader  {  font-size : 16pt; text-align : center; color : #0000aa;  }
.smallpurple  {  font-size : 16pt; color : #8322ff;  }
.blua { font-size: 14pt;  color: #0000aa; text-align: left; }
.bruna { font-size: 14pt;  color: #704000; text-align: left; }
.rugxa { font-size: 14pt;  color: #ff0000; text-align: left; }
.komando {
   font-family: monospace;
   font-size: 14pt;  color: #0000aa;
   text-align: left;
}
td { font-size: 14pt;  color: #000000; text-align: left; }
body { background : #fdfcf4; }
   a:hover { color: #207040;  text-decoration: none; }
   a { color: #0000aa;  text-decoration: none; }
code { font-size: 13pt; }