--- 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():
--- 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;