/* Producer-generated file */
BODY
{
    COLOR:  #000000;
    FONT-FAMILY:Times New Roman,Verdana,Arial;
    background-color: #0000A0;
}
#LeftSideBackground
{
    background-color: #879BB9;
}
#LoadingWaitDiv
{
    background-color: #879BB9;
}
.TOCEntryNormal
{
    FONT-SIZE: 14pt;
}
.TOCEntryNowPlaying
{
    FONT-SIZE: 14pt;
}
#DiscussionDiv
{
    FONT-SIZE: 14pt;
    background-color: #879BB9
}