BODY { font-weight: normal; padding: 1em; margin: 1em; }
.keyword { color: black; font-weight: bold; }
.string { color: blue; }
.comment { color: navy; font-style: italic; }
.number { color: purple; }
.type { color: black; font-weight: bold; }
.preproc { color: red; }
.function { color: black; }
.normal { color: green; }