table {  font-size: 12px; line-height: normal}

body {  font-size: 12px}

a {  font-size: 12px; text-decoration: none; line-height: 20px}

div {  font-size: 12px; line-height: 20px}

pre {  font-size: 12px; line-height: 16px}