# HG changeset patch
# User haftmann
# Date 1146840658 -7200
# Node ID ddd36d9e6943a8654a287b848c59dccfae1559e9
# Parent  e56b3c967ae81ab839c4fd1d01eae438f151cb03
added something

diff -r e56b3c967ae8 -r ddd36d9e6943 Admin/website/css/isabelle_base.css
--- a/Admin/website/css/isabelle_base.css	Fri May 05 16:29:27 2006 +0200
+++ b/Admin/website/css/isabelle_base.css	Fri May 05 16:50:58 2006 +0200
@@ -156,6 +156,27 @@
     margin-top: 3px;
 }
 
+/* faked columns */
+table.column {
+    margin: 0px;
+    padding: 0px;
+    width: 100%;
+    border-collapse: collapse;
+}
+
+table.column tr td.column {
+    width: 50%;
+    vertical-align: top;
+    padding: 1em;
+}
+
+/* centered areas */
+div.center {
+    position: relative;
+    text-align: center;
+    width: 100%;
+}
+
 /* generic celled tables */
 table.celled {
     margin-top: 2ex;
diff -r e56b3c967ae8 -r ddd36d9e6943 Admin/website/css/isabelle_print.css
--- a/Admin/website/css/isabelle_print.css	Fri May 05 16:29:27 2006 +0200
+++ b/Admin/website/css/isabelle_print.css	Fri May 05 16:50:58 2006 +0200
@@ -68,7 +68,40 @@
     border-top: 2px solid #000000;
 }
 
-/* mirrorlist */
+/* mirrorlist layout */
 div.mirrorlist {
     display: none;
-}
\ No newline at end of file
+}
+
+/* thesis announcement */
+body.thesis div#header {
+    height: 108px; 
+}
+
+body.thesis div#header p {
+    font-family: Arial,Helvetica,Verdana,sans-serif;
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    right: 0px;
+    margin: 0px;
+}
+
+body.thesis div#header h1 {
+    position: absolute;
+    top: 20px;
+    left: 0px;
+    right: 0px;
+    margin: 0px;
+    font-size: 3ex;
+}
+
+body.thesis div#header a#isabelle_logo {
+    position: absolute;
+    left: 0px;
+}
+
+body.thesis div#header a#info_logo {
+    position: absolute;
+    right: 0px;
+}
diff -r e56b3c967ae8 -r ddd36d9e6943 Admin/website/css/isabelle_screen.css
--- a/Admin/website/css/isabelle_screen.css	Fri May 05 16:29:27 2006 +0200
+++ b/Admin/website/css/isabelle_screen.css	Fri May 05 16:50:58 2006 +0200
@@ -47,6 +47,12 @@
     right: 40px;
 }
 
+body.thesis div#header a#info_logo {
+    position: absolute;
+    top: 25px;
+    right: 40px;
+}
+
 div#header a#univ_cambridge {
     position: absolute;
     top: 25px;