a:visited { color: maroon; text-decoration: underline }
a:link { color: blue; text-decoration: underline }
.ident { color: teal; font-weight: bolder; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.todo { color: red; font-style: italic }
.deprecated { color: gray}