{# body            { font-family: sans-serif; background: #eee; }
#}
a, h1, h2, h3   { color: #377BA8; }
h1, h2, h3      { font-family: 'Georgia', serif; margin: 0; }
h1              { font-size: 2.4em; border-bottom: 2px solid #eee; }
h2              { font-size: 1.6em; }
h3              { font-size: 1.0em; }

.page           { margin: 2em auto; border: 5px solid #ccc;
                  padding: 0.8em; background: white; }

.entries        { list-style: none; margin: 0; padding: 0; }
.entries li     { margin: 0.8em 1.2em; }
.entries li h2  { margin-left: -0.6em; }
.add-entry      { font-size: 0.9em; border-bottom: 1px solid #ccc; }
.add-entry dl   { font-weight: bold; }
.metanav        { text-align: right; font-size: 0.8em; padding: 0.3em;
                  margin-bottom: 1em; background: #fafafa; }
.flash          { background: #CEE5F5; padding: 0.5em;
                  border: 1px solid #AACBE2; }
.error          { background: #F0D6D6; padding: 0.5em; }
p.result        { border: solid #aaa; border-width: 1px; }


body {
        background: #ffffff;
        color: #000000;
        font-size: 13px;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 12px;
        text-align: justify;
}

h1 { font-size: 30px; }
h2 { font-size: 20px; }
h3 { font-size: 16px; }
h4 { font-size: 12px; font-style: bold;}
dl { font-weight: bold; }
dt { font-style: italic; }


pre {
        border: solid #0000ff 1px;
        color: #000000;
        white-space: pre-wrap;       /* css-3 */
        white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
        white-space: -pre-wrap;      /* Opera 4-6 */
        white-space: -o-pre-wrap;    /* Opera 7 */
        word-wrap: break-word;       /* Internet Explorer 5.5+ */
        background-color: #ffffff; /* #ffffd0; */
        padding-left: 10px;
        padding-right: 10px;
        padding-top: 10px;
        padding-bottom: 10px;
        margin-top: 0px;
        text-align: left;
        margin-left: auto;
        margin-right: auto;
        font-family: Courier,Monospace, Courier, MS Courier New, Prestige, Everson Mono;
        font-style: normal;
        font-weight: normal;
        font-size: 14;
}


/* Default color theme */

span.prompt { color: #0000ff; font-weight: bold; }
span.not_printable { color: #a0a0a0; }
span.layer_name { color: #ff0000; font-weight: bold; }
span.field_name { color: #0000ff; }
span.field_value { color: #ff00ff; }
span.emph_field_name { color: #0000ff; font-weight: bold; text-decoration: underline }
span.emph_field_value { color: #ff00ff; font-weight: bold; text-decoration: underline }
span.packetlist_name { color: #ff0000; font-weight: bold; }
span.packetlist_proto { color: #0000ff; }
span.packetlist_value { color: #ff00ff; }
span.fail { color: #ff0000; font-weight: bold; }
span.success { color: #0000ff; font-weight: bold; }
span.even { color: #000000; font-weight: bold; }
span.odd { color: #000000; }
span.opening { color: #00ffff; }
span.active { color: #000000; }
span.closed { color: #808080; }

/* Syntax highlighting */

.num    { color:#2928ff; }
.esc    { color:#830000; }
.str    { color:#c00000; }
.dstr   { color:#818100; }
.slc    { color:#838183; font-style:italic; }
.com    { color:#838183; font-style:italic; }
.dir    { color:#ff0000; }
.sym    { color:#000000; }
.line   { color:#555555; }
.blue   { color:#0000ff; font-style:italic; }
.kwa    { color:#000000; font-weight:bold; }
.kwb    { color:#00a000; }
.kwc    { color:#00a000; }


/* Regression tests */

li.passed {color: #002000;}
li.failed {color: #200000;}
span.comment { color:#000000; font-style: italic; font-weight:bold;}
span.normal { color:#000000; font-style: italic; font-weight:normal;}

span.crc {
        font-family: monospace;
        font-size: 12px;
        font-weight: normal;
        margin-top: 10px;
        background-color: #ccccff;
}

span.buttonpassed {
        font-family: monospace;
        margin-top: 10px;
        background-color: #aaffaa;
}
span.buttonfailed {
        font-family: monospace;
        margin-top: 10px;
        background-color: #ffaaaa;
}
span.buttonskipped {
        font-family: monospace;
        margin-top: 10px;
        background-color: #dddd00;
}
span.buttonnoresult {
        font-family: monospace;
        margin-top: 10px;
        background-color: #f7f7f7;
}

span.button {
        border: solid #3b373f 1px;
        background-color: #eeddff;
        padding-left: 3px;
        padding-right: 3px;
        padding-top: 3px;
        padding-bottom: 3px;
}