body {  font-family: sans-serif; font-size: medium; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; color: #000000; text-decoration: none; padding-top:0; padding-left:40; padding-right:150; padding-bottom:20; }

.headline1 {  font-family: sans-serif; font-size: x-large; font-style: normal; line-height: normal; font-weight: 800; font-variant: normal; color: #000000; text-decoration: none}

.headline2 {  font-family: Arial, Helvetica, sans-serif; font-size: large; font-style: normal; line-height: normal; font-weight: 600; font-variant: normal; color: #000000; text-decoration: none}

.link 
{ font-family: Arial, Helvetica, sans-serif; font-weight: bolder; font-variant: normal; text-transform: capitalize; text-decoration: underline; padding-left:15;}

.selected 
{ font-family: Arial, Helvetica, sans-serif; font-weight: bolder; font-variant: normal; text-transform: capitalize; color: #666666; text-decoration: none; padding-left:15;}

pre {font-size:medium;}