td, body { font-family: Verdana,Arial,Helvetica,sans-serif }
body, td.small { font-size: 13px }
h1 { font-size: 36px; margin: 0px; padding: 0px }
h2 { font-size: 14px; color: #888888; margin: 0px; padding: 0px }

table.links th { background-color: #e0f0ff; font-weight: normal; font-size: 11px; padding-left: 4px; padding-right: 4px }
table.links td { padding-left: 4px; padding-right: 4px }
table.links a { text-decoration: none; color: #0000AA }
table.links a:hover { text-decoration: underline; background-color: transparent; color: #0000AA }

a { color: #0000AA }
a:hover { background-color: #3333bb; color: white }

p.big { font-size: 16px }
p.sm { font-size: 11px; font-style: italic }

td.title { font-size: 12px; font-weight: bold; text-align: left }
td.section { font-size: 10px; font-style: italic; text-align: right }
td.moreresults { text-align: center; font-weight: bold; font-size: 11px }

td#header-lang { font-weight: bold; border-bottom: 1px solid #333333 }
td#header-url { font-size: 11px; border-bottom: 1px solid #333333 }
td#header-buttons { border-bottom: 1px solid #333333; font-size: 3px }

#resultDiv { display: none; visibility: hidden; position: absolute; z-index: 10; border: 1px solid black; padding: 0px; margin: 0px; background-color: e6f6ff }
#results { width: 100% }

td#minimizes { font-size: 1px }

.minim { border: 1px solid #333333; margin-right: 3px; margin-bottom: 2px; display: -moz-inline-box; display: inline-block }

code { font-size: 16px; padding: 2px; background-color: #eeeeee; display: -moz-inline-box; display: inline-block; margin: 0px }