body 
{
font:12pt/14pt Arial,sans-serif;
}

h1 
{
text-align:center;
}

p.reflist
{
margin-left:36pt;
text-indent:-36pt;
}

p.production
{
margin-left:36pt;
text-indent:-36pt;
}

p.annot
{
margin-left:3%;
width:94%;
background-color:#F4F4F4;
}

p.toc
{
font-weight:bold;
}

b.lexical
{
color:red;
font-weight:normal;
}

b.keyword
{
color:red;
font-weight:normal;
text-transform:lowercase;
}

b.smallref
{
font-weight:normal;
font-size:75%;
}

a.keyword:link, a.keyword:visited, a.keyword:active
{
color:red;
text-decoration:none;
}

a.prodname:link, a.prodname:visited, a.prodname:active
{
color:black;
text-decoration:none;
}

a.prodref:link, a.prodref:visited, a.prodref:active
{
color:navy;
text-style:italic;
text-decoration:underline;
}

a:link, a:visited, a:active 
{
color:navy;
text-decoration:none;
}