Localization of errors.

[helm.git] / matitaB / matita / matitaweb.css

diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index 03af7f6bbd8810f31fcefe8f37c9e5b1c2b54807..9f0da288466c0a307ab58a8a0b59960cd1c87fd8 100644 (file)
--- 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;
 }