-".centered" as no longer used anywhere.

+".margin-center" for tables centering.

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