# HG changeset patch
# User haftmann
# Date 1146735267 -7200
# Node ID a3951e34269f40842467c0e3dfb40ad74f6a42c2
# Parent  7938d8e0c52dc3d88c75370f5956de9c1a24f5f1
fixed some flaws

diff -r 7938d8e0c52d -r a3951e34269f Admin/website/build/obfusmail.py
--- a/Admin/website/build/obfusmail.py	Thu May 04 10:13:55 2006 +0200
+++ b/Admin/website/build/obfusmail.py	Thu May 04 11:34:27 2006 +0200
@@ -100,6 +100,7 @@
         if name == u'a':
             if self.pending_mail is not None:
                 self.flushCharacterBuffer()
+                self._lastStart = False
                 self._out.write(self.mails[self.pending_mail])
                 self.pending_mail = None
                 return
@@ -140,7 +141,8 @@
         mailscript = u" ".join(map(mk_line, ['<a href="', "mailto:", name, "@", host, '">']));
     mailimg = '<img src=%s style="vertical-align:middle" alt=%s />' % (quoteattr(imgname), quoteattr(mailsimple))
 
-    return (mk_script(mailscript) + mailimg + mk_script(mk_line("</a>")))
+    result = (mk_script(mailscript) + mailimg + mk_script(mk_line("</a>")))
+    return result
 
 def main():
 
diff -r 7938d8e0c52d -r a3951e34269f Admin/website/css/isabelle_base.css
--- 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;