@charset "iso-8859-1";
/* CODE */
font.lang {
font-weight: bold; color: blue
}

table.code {
WIDTH: 90%; PADDING: 3px; BORDER: 0; font-size: 11pt
}
td.code {
width: 100%; font-family: Courier, 'Courier New', sans-serif; color: black;
background-color: #FAFAFA; border: #D1D7DC; border-style: solid;
border-left-width: 1px; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px
}
a.b {
COLOR: blue
}
a.t {
COLOR: red
}
a.co {
COLOR: green
}