"error" class: +bold

diff --git a/Web.css b/Web.css
index 45e4c3d..38fd129 100644 (file)
--- a/Web.css
+++ b/Web.css
@@ -17,7 +17,7 @@
  */
 
 
-.error { color: red; background-color: transparent; }
+.error { color: red; background-color: transparent; font-weight: bold; }
 .code,.cvs-id,.quote { font-family: monospace; }
 .nowrap,.code { white-space: nowrap; }
 .margin-center,table.margin-center>caption { margin-left: auto; margin-right: auto; }