table.form th { text-align: right; }
div.platforms h3 { margin-top: 3em; }
table#platformlist td ul { list-style: none; margin: 0; padding: 0; }

dl.help { color: #666; font-size: 90%; margin: 1em .5em; }
dl.help dt { font-weight: bold; }