div.ie5 {
    margin-left:    auto;
    margin-right:   auto;
}
table.style_table   {
    margin-left:    auto;
    margin-right:   auto;
    background-color:   #ddffff;
}
th  {
    background-color:   #33ddff;
}
pre {
    padding-left:   20px;
    background-color:   #ffffcc;
}
code    {
    background-color:   #ccffff;
}
h3  {
    color:   #ffffff;
    background-color:   #0000ff;
}
.param  {
    width:  170px;
}
.cancelled  {
    text-decoration:    line-through;
}
.nowrap {
    white-space:        nowrap;
}
.red    {
    background-color:   #ff0000;
}