/* Producer-generated file */
BODY
{
    COLOR:  #000000;
    FONT-FAMILY:Arial,Verdana,Arial;
    background-color: #ffffff;
}
#LeftSideBackground
{
    background-color: #8080ff;
}
#LoadingWaitDiv
{
    background-color: #8080ff;
}
.TOCEntryNormal
{
    FONT-SIZE: 12pt;
}
.TOCEntryNowPlaying
{
    FONT-SIZE: 12pt;
}
#DiscussionDiv
{
    FONT-SIZE: 12pt;
    background-color: #8080ff
}