--- a/model/extra-dm.css	Wed Jun 27 10:37:22 2012 +0100
+++ b/model/extra-dm.css	Wed Jun 27 10:41:02 2012 +0100
@@ -443,3 +443,8 @@
 .provType::before {
 }
 
+.pnExpression {
+    font-weight: normal;
+    font-size:120%;
+    font-family: monospace;
+}