font.tableHeader
{
	font-size: bigger;
}
font.tableMainColumn
{
	font-size: bigger;
	color: "#dd1155";
}
font.visited
{
	font-size: smaller;
}
font.standard
{
    font-size: 12pt;
    font-family: arial;
    font-style: normal;
 	font-weight: normal;
    font-variant: normal;
    line-height: normal;
}
font.small
{
    font-size: 9pt;
    font-family: arial;
    font-style: normal;
 	font-weight: normal;
    font-variant: normal;
    line-height: normal;
}


font.table
{
    font-size: 10pt;
    font-family: arial;
    font-style: normal;
 	font-weight: normal;
    font-variant: normal;
    line-height: normal;
}

font.selectedColumn
{
    font-size: 12pt;
}

a.tableHeader
{
	a.tableHeader:visited {color:"#990022";};
	a.tableHeader:hover {color:purple;};
	a.tableHeader:link {color:"#990022";};
}

a.restName
{
	a.restName:visited {color:black;};
	a.restName:hover {color:"#990022";};
	a.restName:link {color:black;};
}