# HG changeset patch
# User haftmann
# Date 1146843506 -7200
# Node ID 67d1792dc0f208ddd210d31d9e0986b86ece24e1
# Parent  d3e2f532459ad2f19e06c0bc63f91dbfb532ef06
added something

diff -r d3e2f532459a -r 67d1792dc0f2 Admin/website/css/isabelle_print.css
--- a/Admin/website/css/isabelle_print.css	Fri May 05 17:17:21 2006 +0200
+++ b/Admin/website/css/isabelle_print.css	Fri May 05 17:38:26 2006 +0200
@@ -74,34 +74,44 @@
 }
 
 /* thesis announcement */
+body.thesis {
+    margin: 0cm;
+    padding: 0cm;
+}
+
 body.thesis div#header {
-    height: 108px; 
+    height: 108px;
 }
 
 body.thesis div#header p {
     font-family: Arial,Helvetica,Verdana,sans-serif;
+    font-style: italic;
+    font-size: 10px;
     position: absolute;
     top: 0px;
-    left: 0px;
-    right: 0px;
+    left: 115px;
+    right: 115px;
     margin: 0px;
 }
 
 body.thesis div#header h1 {
     position: absolute;
     top: 20px;
-    left: 0px;
-    right: 0px;
+    left: 115px;
+    right: 115px;
     margin: 0px;
-    font-size: 3ex;
+    font-size: 2.8ex;
 }
 
-body.thesis div#header a#isabelle_logo {
+body.thesis div#header a#info_logo {
     position: absolute;
     left: 0px;
 }
 
-body.thesis div#header a#info_logo {
-    position: absolute;
-    right: 0px;
+body.thesis h2 {
+    font-size: 2.4ex;
 }
+
+body.thesis dl dt {
+    font-weight: bold;
+}