.42
{
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana
}
.42h
{
    FONT-WEIGHT: bold;
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana
}
#42
{
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: white
}
#42h
{
    FONT-WEIGHT: bolder;
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: white
}
H1
{
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana
}
#42i
{
    FONT-SIZE: 8pt;
    COLOR: blue;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: lightgrey
}
#42r
{
    FONT-SIZE: 8pt;
    COLOR: red;
    FONT-FAMILY: Verdana
}
#40
{
    FONT-SIZE: 24pt;
    COLOR: blue;
    FONT-FAMILY: Verdana
}
H2
{
    FONT-SIZE: 16pt;
    COLOR: blue;
    FONT-FAMILY: Verdana
}
#normal_red
{
    FONT-WEIGHT: bolder;
    FONT-SIZE: 8pt;
    COLOR: red;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: white
}
#normal_red_i
{
    FONT-WEIGHT: bolder;
    FONT-SIZE: 8pt;
    COLOR: red;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: lightgrey
}
#aeit
{
    FONT-SIZE: 6pt;
    COLOR: silver;
    FONT-FAMILY: Verdana
}
#yellow_i
{
    FONT-WEIGHT: normal;
    FONT-SIZE: 8pt;
    COLOR: chocolate;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: lightgrey
}
#yellow
{
    FONT-WEIGHT: normal;
    FONT-SIZE: 8pt;
    COLOR: chocolate;
    FONT-FAMILY: Verdana;
    BACKGROUND-COLOR: white
}