H2 { color: #00008b; font-weight: bold }
H3 { color: #C00000; font-weight: bold }
H4 { color: #003399; font-weight: bold }
.keyterm { color: #003399 }
.code { color: mediumslateblue; }
.fadedcode { color: gray; }