pre, ol {
    margin: 0;
	 font-size: 0.7em;
}

.rruleFormatting {
    border-collapse: collapse;
    width: 100%;
}
.rruleFormatting td th {
    border: 1px solid #fafafa;
}
.rruleFormatting td, th {
    padding: 0.4em;
}
.rruleFormatting tbody th {
    text-align: right;
    width: 10em;
}

code, label {
    background: none repeat scroll 0 0 #fff;
    border: 1px solid #ededed;
    border-radius: 0.3em;
    padding: 0.2em 0.3em;
}
label {
    cursor: pointer;
    display: inline-block;
    font-size: 0.9em;
    margin: 0 0.3em 0.3em 0;
    white-space: nowrap;
}
/*
input:not([type="checkbox"]):not([type="radio"]), select {
    box-sizing: border-box;
    font-size: 1.4em;
    width: 100%;
}
input {
    padding: 0.2em;
}
*/
.error {
    color: red;
}
#page {
    margin: auto;
    min-width: 960px;
}
#intro {
    font-size: 1.2em;
    text-align: center;
}
/*
#tabs {
    border-bottom: 1px solid #111;
    text-align: center;
}
#tabs a {
    background: none repeat scroll 0 0 #111;
    border: 1px solid #111;
    border-top-left-radius: 0.2em;
    border-top-right-radius: 0.2em;
    color: #eee;
    display: inline-block;
    font-size: 1.1em;
    font-weight: bold;
    margin: 0 0.5em -1px;
    padding: 0.4em 1em;
    text-decoration: none;
}
#tabs a.active {
    background: none repeat scroll 0 0 #fafafa;
    border-bottom-color: #fafafa;
    color: #111;
}
*/
/*
#input {
    float: left;
    width: 40%;
}
#input th {
    width: 7em !important;
}
#input section {
    padding: 1em;
}
*/
.examples li {
    margin-bottom: 0.7em;
}
.examples code {
    cursor: pointer;
}
#rfc-input input {
    font-family: monospace;
}
#options-input input, #options-input select {
    font-size: 1em;
}
.option-name {
    cursor: help;
    position: relative;
}
.option-name .help {
    background: none repeat scroll 0 0 #333;
    border: 1px solid #000;
    border-radius: 0.3em;
    box-shadow: 3px 3px 3px #888;
    color: #fafafa;
    display: none;
    font-size: 0.9em;
    font-weight: normal;
    left: 110%;
    line-height: 1.6;
    padding: 1em;
    position: absolute;
    right: -100%;
    text-align: left;
    top: -1em;
    width: 350px;
}
.option-name .help code {
    background: none repeat scroll 0 0 #000;
    color: #fff;
}
.option-name:hover code:first-child {
    background: none repeat scroll 0 0 #222;
    color: #fafafa;
}
.option-name:hover .help {
    display: block;
}
#output {
    float: right;
    width: 58%;
}
#output pre {
    white-space: pre-wrap;
	 font-size: 0.7em;
}
#output td {
    background: none repeat scroll 0 0 #fff;
}
#output td, #output th {
    vertical-align: top;
}
#output li {
    font-family: monospace;
}
#output li:nth-child(2n) {
    background: none repeat scroll 0 0 #f1f1f1;
}
#dates {
    font-size: 0.7em;
}
#dates td:first-child {
    color: #ccc;
}
#dates td:first-child {
    text-align: right;
}
#dates td.b {
    background: none repeat scroll 0 0 #eaeaea;
}
#dates td.b {
    background: none repeat scroll 0 0 #f0f0f0;
}
#output a {
    color: inherit;
}