pre { font-size: 100%; letter-spacing: -1px; }
.tip { font-size: 80%; }
table.results th a, table.results th a:visited { padding-right: 12px; margin-right: 2px;}
pre { font-size: 100%; letter-spacing: -1px; }
.tip { font-size: 80%; }
table.results th a, table.results th a:visited { padding-right: 12px; margin-right: 2px;}