body {
color: #000000;
font-family: Arial, Helvetica, sans-serif
}
a:link {
text-decoration: none;
color: #004488
}
a:visited {
text-decoration: none;
color: #660000
}
a:hover, a:active {
text-decoration: underline;
color: #004488
}
}

A.ignatz:link    {text-decoration: underline; color: #004488}
A.ignatz:visited {text-decoration: underline; color: #660000}
A.ignatz:hover   {background-color: #eeeeee}
A.ignatz:active  {text-decoration: underline; background-color: #eeeeee}

table.property th {font-size: 80%;}
table.property td {font-size: 80%; background-color: #ffffff}