body, .mainfont, td
{
 font-family: Times New Roman;
 font-size: 13pt;
 font-weight: normal;
}
  
.header, .mainheader
{
 font-weight: bold;
 font-size: 14pt;               
 text-align: center;
}

.header
{
 margin-top: 26pt;
 margin-bottom: 4pt;
}

.mainheader
{
 text-transform: uppercase;
}

.abzac, .abzacWithoutIndent, pre, .picture
{
 text-align: justify;
 margin-top: 6pt;
 margin-bottom: 6pt;
}

.abzac
{
 text-indent: 26pt;
}

.picture
{
 text-align: center;
}

.code, pre
{
 font-family: Courier New;
 font-size: 12pt;
 font-weight: bold;
 white-space: nowrap;
}

pre
{
 margin-left: 52pt; 
}

a
{
 font-family: Arial;
 font-weight: bold; 
}

a:link
{
 color: #0000ff;
}

a:visited
{
 color: #800080;
}

li
{
 margin-top: 3pt;
 margin-bottom: 3pt;
}

ul, ol
{
 margin-top: 3pt;
 margin-bottom: 3pt;
 margin-left: 45pt;
}

ul
{
 list-style-type: disc;
 margin-left: 39pt;
}

ol ul, ul pre
{
 margin-left: 13pt;
}

table, tr, td
{
 border-width: 1px;
 border-style: solid;
 border-color: black;
 border-collapse: collapse;
 padding: 3px;     
}
/* border: solid black 1px;  */