.default {  font-family: Verdana, "Trebuchet MS", Arial, Helvetica, sans-serif; font-size: 14px; font-style: normal; line-height: normal}
a {  text-decoration: none}
.ide {  font-family: Arial, Helvetica, sans-serif; font-size: 12px}
.dkeyword {  font-family: "Courier New", Courier, mono; font-size: 12px; font-weight: bold}
.example {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; background-color: #E0FFC1; white-space: pre}