css fiddling

dip3.css

@@ -41,6 +41,7 @@ Classname Legend
 
 .nm = "no mobile"     = hide this section on mobile devices
 .nd = "no decoration" = hide the widgets on this code block
+.pp = "pretty print"  = apply syntax highlighting to this code block
 
 .note = "note/caution/important"   = indented block for tips/gotchas/language comparisons
 .baa  = "best available ampersand" = wrapper block for ampersands
@@ -183,6 +184,9 @@ pre a, .w a {
 .w a {
   text-decoration: underline;
 }
+dfn {
+  font-style: normal;
+}
 mark {
   font-weight: bold;
   display: inline-block;