body{
    background-color:#d8d8d8;
    font-family:Arial
}
p{
    margin:0
}
li{
    margin-top:5.0pt;
}
pre{
    background-color:white;
    padding:5px;
}
.note_warning{
    background-color:#ff9999;
}
.note_info{
    background-color:#ffff99;
}