--- a/model/extra.css	Mon Nov 28 12:26:42 2011 +0000
+++ b/model/extra.css	Mon Nov 28 12:37:03 2011 +0000
@@ -227,27 +227,39 @@
 
 
 div[class="grammar"] span[class="optional"]:before {
+    font-weight: normal;
+    font-size:130%;
     content: "(";
 }
 
 div[class="grammar"] span[class="optional"]:after {
+    font-weight: normal;
+    font-size:130%;
     content: ")?";
 }
 
 
 div[class="grammar"] span[class="plus"]:before {
+    font-weight: normal;
+    font-size:130%;
     content: "(";
 }
 
 div[class="grammar"] span[class="plus"]:after {
+    font-weight: normal;
+    font-size:130%;
     content: ")+";
 }
 
 
 div[class="grammar"] span[class="star"]:before {
+    font-weight: normal;
+    font-size:130%;
     content: "(";
 }
 
 div[class="grammar"] span[class="star"]:after {
+    font-weight: normal;
+    font-size:130%;
     content: ")*";
 }