h1 {font-family: Arial, Helvetica, sans-serif; font-size: largest; font-weight: bold;}
p {font-family: Arial, Helvetica, sans-serif; font-size: normal;}
span.bugfixed {text-decoration: line-through;}
em {font-style: normal; font-weight: normal; color: #440000}