body {
    background: #fff;
    color: #000;
    font: 100.1% "Myriad Pro", "Lucida Grande", Lucida, Verdana, Helvetica, sans-serif;
    margin: 0;
    min-width: 615px;
    padding: 0;
    text-align: center;
}
h1 {
    background: #000 url(images/optimus-header.jpg) no-repeat;
    color: #fff;
    height: 131px;
    margin: 0;
    padding: 0;
}
h1 span {
    background: url(images/optimus-title.png) no-repeat 50% 50%;
    display: block;
    height: 131px;
    text-indent: -9999em;
}
#content {
    font-size: .8em;
    line-height: 1.4;
    margin: 0 auto;
    overflow: hidden;
    text-align: left;
    width: 66em;
}
h2 {
    font-size: 1.5em;
    margin: 1em 0 0 0;
    padding: 0;
    line-height: 1.8;
}
p {
    margin: 0;
}
p.not-prime {
    text-indent: 1.4em;
}
p.code,
pre.textmate-source {
    -moz-border-radius: 0.5em;
    -webkit-border-radius: 0.5em;
    background: #333;
    border-radius: 0.5em;
    color: #fff;
    margin: 0 0 1px;
    padding: 0.7em;
}
code,
samp {
    font: 1em Monaco, "Lucida Console", monospace;
}
code span {
    color: #690;
}
#column-1 {
    width: 62%;
    float: left;
    margin: 0 1em 0 0;
}
.hidden,
.forSubmit {
    display: none;
    visibility: hidden;
}
form, dl {
    margin: 0;
    padding: 0;
}
form dt {
    float: left;
    font-weight: 800;
    height: 2em;
    width: 6em;
}
form dd {
    display: table;
    height: 2em;
}
form dd ol {
    list-style: none;
    margin: 0;
    padding: 0;
}
form dd li {
    float: left;
    margin: .3em 0 .2em 0;
    width: 50%;
}
#filters input {
    float: left;
    clear: left;
}
#format2, #format3 {
    margin-left: 1em;
}
#transform-button,
#validate-button {
    display: block;
    margin: 0.5em 0 0;
    text-align: center;
}
a {
    color: #360;
}
code a, samp a {
    color: #ace117;
}
sup {
    color: #aaa;
}
h3.vcard {
    clear: both;
    color: #ccc;
    font-size: 0.8em;
    text-align: center;
}
h3.vcard a {
    color: #ccc;
}
wbr {
    display: inline-block;
}
.validator div.clean,
.validator div.error,
.validator div.warning {
    -moz-border-radius: 0.5em;
    -webkit-border-radius: 0.5em;
    background: #eee;
    margin: 2px;
    padding: .5em;
}
.validator div.clean div.message {
    display: none;
}
.validator h2,
.validator dl {
    margin: 0;
}
.validator dt {
    font-weight: 800;
}
.validator div.error {
    background: #fcc;
}
.validator div.warning {
    background: #ffdaa5;
}
.validator div.message {
    -moz-border-radius: 0.5em;
    -webkit-border-radius: 0.5em;
    border: solid 1px #f00;
    font-weight: 800;
    margin: 3px;
    padding: .5em;
}
.validator span.error {
    color: #c00;
}
.validator span.warning {
    color: #ff8000;
}