/* Producer-generated file */
BODY
{
    COLOR:  #000040;
    FONT-FAMILY:Verdana;
    background-color: #FFFFFF;
}
#LeftSideBackground
{
    background-color: #408080;
}
#LoadingWaitDiv
{
    background-color: #408080;
}
.TOCEntryNormal
{
    FONT-SIZE: 12pt;
}
.TOCEntryNowPlaying
{
    FONT-SIZE: 12pt;
}
#DiscussionDiv
{
    FONT-SIZE: 12pt;
    background-color: #408080
}