TD                  { font-family: helvetica,arial,sans-serif }
A.linkid            { text-decoration:none; }
A.linkid:hover      { text-decoration:underline overline; }

.glossarylink       { text-decoration:none;      color:#0000EE; font-style:normal; font-weight:400; }
.glossarylink:hover { text-decoration:underline; color:#0000EE; font-style:normal; font-weight:400; }

input.smallerCheckbox { width:12px; height:12px; vertical-align:middle; margin-right:2px; margin-left:10px; }

.notapinball        { color: #888888; }
.notapinballspec    { color: #993333; font-weight:bold; }