.comment { color: green; }
.command { color: #069; font-weight: bold; }
.keyword { color: #069; font-weight: bold; }
.fun     { color: black; }
.var     { color: crimson; font-style: italic; }
.type    { color: #a66; }
.paren   { color: #555; }