--- a/Admin/website/css/isabelle_base.css Thu May 04 10:13:55 2006 +0200
+++ b/Admin/website/css/isabelle_base.css Thu May 04 11:34:27 2006 +0200
@@ -143,7 +143,7 @@
font-weight: bold;
}
-/* the faq */
+/* faqs */
dl.faq dt {
background-color: #8080F0;
padding: 3px;
@@ -156,6 +156,21 @@
margin-top: 3px;
}
+/* generic celled tables */
+table.celled {
+ margin-top: 2ex;
+ margin-left: auto;
+ margin-right: auto;
+ text-align: center;
+ border-spacing: 4px;
+}
+
+table.celled tr td {
+ text-align: left;
+ background-color: #C0C0E0;
+ padding: 0.4ex 1em 0.4ex 1em;
+}
+
/* download tables */
table.download {
margin-top: 2ex;