body { background-image: url(/static/images/stripe-rhythm.png); background-repeat: repeat;} div#header { background-color: #d03; color: #fff; } div#header h1 { font-size: 4em; line-height: 1.5em; margin-bottom: 0em; } div#logo { text-align: right; color: #d03; padding-top: 1.5em; } div#logo h1 { margin-top: 0.65em; margin-bottom: 0.15em; } div.center-column { width: 50em; margin-left: auto; margin-right: auto; } div#content-pane { background-color: #fbfbfb; padding: 1.5em; } div#footer { text-align: center; font-size: 0.9em; line-height: 1.666em; } div#nav { margin-bottom: 1.5em; } span#filters { float: right; } span#filters a { margin-left: 2em; } a:link, a:visited, a:active { color: #d03; text-decoration: none; font-weight: bold; } a:hover { color: #60b305; } table#bug-list { width: 100%; } table tr td, table tr th { padding: 0px 5px; border: 0.084em solid black; line-height: 2.917em; } table { margin-bottom: 1.417em; }