div#c_code {
     font-family: Fixedsys, "Lucida Console", monospace;
     background-color: White;
     margin-right: 2px;
     margin-left: 2px;
     padding-right: 2px;
     padding-left: 2px;
}

table {
     font-size: 10pt;
}
table.small {
     font-size: 8pt;
}
code {
     font-family: Fixedsys, "Lucida Console", monospace;
     font-size: 9pt;
     color: #0b4129;
}

/* colors for code examples */
/* keywords */
.k {
     color: #000080
}
/* text strings */
.ts {
     color: #800000;
}
/* comment text */
.cm {
     color: #008080;
}
/* builtin types (unsigned, int) */
.tp {
     color: #008000;
}
/* numerics */
.num {
     color: #808000;
}
/* special character sequences */
.sp {
     color: #800080;
}

div#maintain {
     visibility: hidden;
}