/* additions for the static copy */
body { min-width: 0; }
#container { float: none; width: 100%; }
#header { height: auto; }
#header h1 a { color: #cff; border: none; text-decoration: none; }
#filterBox { padding: 6px 4px; font-size: 1.1em; }
#filterBox #count { margin-left: 1em; color: #666; }
#tablist td.kw { color: #555; }
#tablist th a { color: #fff; }
.mlnum { padding: 6px 0; color: #666; }
.mlnum a { color: #3d80df; }
#status { padding: 6px 0; }
#results mark { background: #ff9; }