.Code
{
    font-family : ProggyTinySZ, Andale Mono, Courier New;
    font-size : 8pt;
}

.Operator
{
    color : #800000;
}

.Keyword
{
    color : #0000ff;
}

.Comment
{
    color : #008000;
}

.String
{
    color : #008080;
}

.VerbatimString
{
    color : #0080C0;
}

.UserType
{
    color : #000080;
}