# HG changeset patch
# User haftmann
# Date 1117914570 -7200
# Node ID bf058cdf68413d16d18605e838c873382f5f3184
# Parent  95cc0e8f8a17c7555ee3f667ceb7fc8e7f7d4534
adjusted navigation width

diff -r 95cc0e8f8a17 -r bf058cdf6841 Admin/website/TODO
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/TODO	Sat Jun 04 21:49:30 2005 +0200
@@ -0,0 +1,11 @@
+For the next release:
+
+- integrate into makedist (Florian), deploy on Munich site
+
+In the mid-time:
+
+-
+
+Visionary:
+
+-
\ No newline at end of file
diff -r 95cc0e8f8a17 -r bf058cdf6841 Admin/website/build/pypager.py
--- a/Admin/website/build/pypager.py	Sat Jun 04 21:43:55 2005 +0200
+++ b/Admin/website/build/pypager.py	Sat Jun 04 21:49:30 2005 +0200
@@ -350,8 +350,6 @@
 
     def processingInstruction(self, target, data):
 
-        print '*', target
-        print '*', data
         self.closeLastStart()
         self.flushCharacterBuffer()
         func = getattr(self._func, target)
diff -r 95cc0e8f8a17 -r bf058cdf6841 Admin/website/dist/css/isabelle_screen.css
--- a/Admin/website/dist/css/isabelle_screen.css	Sat Jun 04 21:43:55 2005 +0200
+++ b/Admin/website/dist/css/isabelle_screen.css	Sat Jun 04 21:49:30 2005 +0200
@@ -65,7 +65,7 @@
     bottom: 4px;
     padding: 0.5em 0.5em;
     float: left;
-    width: 15ex;
+    width: 17ex;
     background-color: #FFFFFF;
     border-top: 2px solid #0000A0;
     border-bottom: 2px solid #0000A0;
diff -r 95cc0e8f8a17 -r bf058cdf6841 Admin/website/faq.html
--- a/Admin/website/faq.html	Sat Jun 04 21:43:55 2005 +0200
+++ b/Admin/website/faq.html	Sat Jun 04 21:49:30 2005 +0200
@@ -193,7 +193,7 @@
     
       <p>Alternatively you can set <tt class="shellcmd">LC_CTYPE</tt> or
       <tt class="shellcmd">LANG</tt> inside a file <tt class="shellcmd">~/.i18n</tt>, which
-      will be read by the shell. This will affect all applications, though.
+      will be read by the shell. This will affect all applications, though.</p>
       
       <p>Suggestions for a better workaround inside Emacs would be welcomed;</p>