a{text-decoration:none;}
A:HOVER{color:red;text-decoration:underline;}
table{font-size:11pt}
body{font-size:11pt}
pre{font-size:11pt}
.x{background:5599ff;color:white}
.y{background:white}
.z{background:cceeff}