body
{
    background-color:black;
    color:white;
}
a:link    {color:#A0A0FF;}  /* unvisited link */
a:visited {color:#FF00FF;}  /* visited link */
table
{
    padding:0.5em;
    margin-left:auto;
    margin-right:auto;
    border:1px solid white;
}
td
{
    padding-left:0.5em;
    padding-right:0.5em;
}
th
{
    text-align:left;
    padding-left:0.5em;
    padding-right:0.5em;
}
img
{
    display: block;
    margin-left:auto;
    margin-right:auto;
}
dt
{
    font-weight:bold;
}
pre
{
    font-family:consolas;
    margin-left:5em;
}
code
{
    font-family:consolas;
}

table.example
{
    padding:4px;
    width:100%;
    padding-top:1.0em;
}
table.example pre
{
    margin-left:initial;
}

table.keyword
{
    font-family:monospace;
    font-weight:bold;
    font-size:125%;
}

table.precedence
{
    border-collapse:collapse;
}
table.precedence th, table.precedence td
{
    padding-top:0.1em;
    padding-bottom:0.1em;
    padding-left:0.5em;
    padding-right:0.5em;
    border-left:1px solid white;
    border-right:1px solid white;
}
table.precedence tr.top
{
}
table.precedence tr.red
{
    background-color:#800000;
}
table.precedence tr.blue
{
    background-color:#0000C0;
}
table.precedence tr.red_first
{
    background-color:#800000;
    border-top: 1px solid white;
}
table.precedence tr.blue_first
{
    background-color:#0000C0;
    border-top: 1px solid white;
}

table.precedence td.keyword
{
    font-family:monospace;
    font-weight:bold;
    font-size:125%;
}

table.tokens
{
    table-layout:fixed;
    border:initial;
}
table.tokens td
{
    background-color:white;
    color:black;
    border: 1px solid white;
    width:60px;
}
table.tokens td.LineBreak
{
    background-color:#FFFF40;
    color:black;
}
table.tokens td.Indent
{
    background-color:#FF8040;
    color:black;
}
table.tokens td.Unindent
{
    background-color:#80FF40;
    color:black;
}
table.tokens td.End
{
    background-color:#FF4080;
    color:black;
}

table.chars
{
    border:initial;
}
table.chars td
{
    background-color:white;
    color:black;
    border: 1px solid white;
}
table.chars td.comment
{
    background-color:#C0FFFF;
    color:black;
}
table.chars td.glyph
{
    background-color:#FF4040;
    color:black;
}
table.chars td.nl
{
    background-color:#8080FF;
    color:black;
}
table.chars td.htab
{
    background-color:#FFFFE0;
    color:black;
}
table.chars td.vtab
{
    background-color:#FFE0FF;
    color:black;
}

table.conversions
{
    border:initial;
}
table.conversions td
{
    border:1px solid white;
    padding:0.5em;
}

span.illegal
{
    background-color:#A00000;
    /*color:#FF8080;*/
}

p.rules
{
    margin-left: 3em;
}
p.rules b
{
    font-family:monospace;
    font-weight:bold;
    font-size:125%;
}
p.rules i
{
    font-style:italic;
}

ul.nobullets
{
	list-style-type:none;
}