/* For use with the Dark Theme */ body { margin: 0px; font-family: sans-serif; } /* Fix iframe size/position */ iframe { width: 472px; height: 64px; vertical-align: top; } pre, tt { font-family: monospace; } a { text-decoration: none; } a:hover, a:hover font[color] { color: #333; } a:hover, a:hover img { background-color: #0ff; } pre tt /* pre > tt */ { display: block; color: #8f0; background-color: #333; border-left: solid #888 5px; padding: 10px 10px 10px 15px; font-size: 85%; width: 93%; margin-right: 0px; margin-left: auto; } input[type="submit"], input[type="reset"], input[type="button"], input[type="text"], input[type="password"], input[type="checkbox"], input[type="radio"], select, textarea { border: solid #333 1px; } input[type="submit"], input[type="reset"], input[type="button"], input[type="text"], input[type="password"], textarea { margin: 3px; padding: 3px; } input:hover, textarea:hover, select:hover { color: #ccc; background-color: #888; } input:focus, textarea:focus, select:focus { color: #333; background-color: #ffa; }