--- a/master/style/default_svg.css	Fri Jan 31 17:36:34 2014 -0800
+++ b/master/style/default_svg.css	Sat Feb 01 12:42:18 2014 +1100
@@ -84,6 +84,7 @@
 
 /*.element-summary { background: #d9e8ff; padding: 1em; margin-top: 1em }*/
 .element-summary-name { float: right; font-size: 110% }
+.element-summary-name dfn { font-style: normal; }
 .element-summary dl, .element-summary dt { margin-top: 0; margin-bottom: 0; }
 .element-summary * + dt { margin-top: 0.5em; }
 .element-summary dd { margin-top: 0; }