From deeb6393e748c60134714a21d4bf19f9a95cd239 Mon Sep 17 00:00:00 2001
From: short <>
Date: Sun, 28 Aug 2005 06:30:53 +0000
Subject: [PATCH] -".centered" as no longer used anywhere. +".margin-center"
 for tables centering.

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

diff --git a/Web.css b/Web.css
index 051b30e..069f3c3 100644
--- a/Web.css
+++ b/Web.css
@@ -20,6 +20,6 @@
 .error { color: red; background-color: transparent; }
 .code,.cvs-id,.quote { font-family: monospace; }
 .nowrap,.code { white-space: nowrap; }
-.centered { text-align: center; }
+.margin-center,table.margin-center>caption { margin-left: auto; margin-right: auto; }
 td { padding: 2px; }
 caption { caption-side: bottom; }
-- 
1.8.3.1