X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.css;h=9f0da288466c0a307ab58a8a0b59960cd1c87fd8;hb=988cf01c5bd740d6e75767327f201a3c43d635ed;hp=03af7f6bbd8810f31fcefe8f37c9e5b1c2b54807;hpb=866590ce137ec8fbbaf83fa8ba572177c30dbdd8;p=helm.git

diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index 03af7f6bb..9f0da2884 100644
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -204,6 +204,12 @@ span.activegoal {
 	font-weight: bold;
 }
 
+span.error {
+        color:red;
+        text-decoration: none;
+        border-bottom: 2px dashed;
+}
+
 span.passivegoal {
 	color: blue;
 }