/* link colour definitions */a:active {  color: #CC0033}a:link {  color: #003399}a:visited {  color: #996600}a:hover {  color: #cc6600} /* hover works only in MSIE 4.x+ and Opera 4+ *//* text format definitions *//* big headline: title of page */.headline1 {  font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; text-align: center; color: #006600}/* smaller headline: subtitle */.headline2 {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-weight: bold; color: #006600}/* normal text */.text1 {  font-family: "Times New Roman", Times, serif; font-size: 12pt}/* bold text */.text2 {  font-family: "Times New Roman", Times, serif; font-size: 10pt; font-weight: bold}