From 2f1f5e89c00fe16d927c46ae5eb1b110800b0c03 Mon Sep 17 00:00:00 2001
From: short <>
Date: Mon, 12 Dec 2005 17:30:49 +0000
Subject: [PATCH] "error" class: +bold

---
 Web.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Web.css b/Web.css
index 45e4c3d..38fd129 100644
--- 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; }
-- 
1.8.3.1