BODY
{
    COLOR: #000000;
    BACKGROUND-COLOR: #ffffff
}
H1
{
    FONT-FAMILY: sans-serif
}
H2
{
    FONT-FAMILY: sans-serif
}
H3
{
    FONT-FAMILY: sans-serif
}
H4
{
    FONT-FAMILY: sans-serif;
	
}
TD
{
    FONT-FAMILY: sans-serif;
    FONT-SIZE: 12px
}
TD.banner
{
    FONT-SIZE: 27px;
    VERTICAL-ALIGN: middle;
    COLOR: #000000;
    BACKGROUND-COLOR: #6699cc
}
TD.tagline
{
    FONT-WEIGHT: bold;
    FONT-SIZE: 15px;
    VERTICAL-ALIGN: middle;
    COLOR: #ffffff;
    BACKGROUND-COLOR: #336699;
    TEXT-ALIGN: right
}
TD.navbar
{
    VERTICAL-ALIGN: top;
    COLOR: #000000;
    PADDING-TOP: 13px;
    BACKGROUND-COLOR: #ccccdd
}
TD.high
{
     VERTICAL-ALIGN: top;
}

UL
{
    LIST-STYLE-TYPE: disc
}
UL.pubs
{
    LIST-STYLE-TYPE: none
}
LI
{
    MARGIN-TOP: 3px;
    FONT-SIZE: 13px;
    MARGIN-BOTTOM: 3px
}
P
{
    FONT-SIZE: 13px;
    FONT-FAMILY: sans-serif
}
P.label
{
    FONT-WEIGHT: bold
}
P.example
{
    MARGIN-LEFT: 80px;
    MARGIN-RIGHT: 80px
}
P.recref
{
   FONT-SIZE: 11px;
   MARGIN-LEFT: 20px;
   MARGIN-RIGHT: 20px;	
}   
P.ref
{
    FONT-SIZE: 11px
}
P.navbar
{
    FONT-WEIGHT: bold;
    FONT-SIZE: 13px;
    COLOR: #990033;
    BACKGROUND-COLOR: #ccccdd
}