diff -r 47fef41c68fb -r c2ffa1783319 Admin/website/css/isabelle_screen.css
--- a/Admin/website/css/isabelle_screen.css	Wed Jul 12 17:00:33 2006 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,160 +0,0 @@
-/************************************************************
- * Stylesheet Isabelle (screen media)                       *
- ************************************************************/
-
-/* $Id$ */
-
-@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
-
-/* no rulers (they are just a supplemental for non-css browsers) */
-hr {
-    display: none;
-    visibility: hidden;
-    height: 0pt;
-    width: 0pt;
-}
-
-div.hr {
-    /* a special for KHTML */
-    display: none;
-}
-
-/* header layout */
-div#header {
-    position: relative;
-    height: 90pt; 
-    background-color: #FFFFFF;
-}
-
-div#header h1 {
-    /* center between logos */
-    position: absolute;
-    top: 27px;
-    left: 200px;
-    right: 270px;
-    margin: 0px;
-}
-
-div#header a#isabelle_logo {
-    position: absolute;
-    top: 10px;
-    left: 3.2ex;
-}
-
-div#header a#univ_tum {
-    position: absolute;
-    top: 25px;
-    right: 40px;
-}
-
-body.thesis div#header a#info_logo {
-    position: absolute;
-    top: 25px;
-    right: 40px;
-}
-
-div#header a#univ_cambridge {
-    position: absolute;
-    top: 25px;
-    right: 130px;
-}
-
-div#header span.headersep {
-    display: none;
-}
-
-/* navigation layout */
-div#navigation {
-    position: relative;
-    top: 2em;
-    left: 1ex;
-    bottom: 4px;
-    padding: 0.5em 0.5em;
-    float: left;
-    width: 17ex;
-    background-color: #FFFFFF;
-    border-top: 2px solid #0000A0;
-    border-bottom: 2px solid #0000A0;
-}
-
-div#navigation h2 {
-    display: none;
-}
-
-/* footer layout */
-div#footer {
-    margin-top: 2em;
-}
-
-/* content layout */
-div#content {
-    position: static;
-    left: 4px;
-    margin-left: 23ex;
-    margin-right: 3%;
-    background-color: #E0E0F0;
-    padding-left: 20px;
-    padding-right: 20px;
-    padding-bottom: 20px;
-}
-
-div#content h2 { 
-    margin-left: -20px;
-    margin-right: -20px;
-    padding-left: 20px;
-    padding-top: 0.2ex;
-    padding-bottom: 0.2ex;
-    border-bottom: 1ex solid #E0E0F0;
-}
-
-div#content h3 { 
-    margin-right: -20px;
-    padding-top: 0.4ex;
-    padding-bottom: 0.2ex;
-    padding-left: 10px;
-}
-
-/* mirror switch layout */
-div.mirrorlist {
-    margin: 1ex 0em;
-    padding: 2pt;
-    background-color: #E0E0F0;
-    text-align: left;
-    border-left: 7px solid #FFFFFF;
-}
-
-div.mirrorlist h3 {
-    margin: 1pt;
-    padding: 1pt;
-    border: none;
-    background-color: #FFFFFF;
-    color: #0000A0;
-    font-size: 11pt;
-    text-align: left;
-}
-
-div.mirrorlist ul {
-    margin: 1pt 1pt 1pt 1em;
-    padding: 0pt;
-}
-
-div.mirrorlist ul li {
-    font-size: 8pt;
-    font-style: italic;
-    padding: 0pt 12pt 0pt 0pt;
-}
-
-/* people list */
-dl.people dt {
-    background-color: #EEEEEE;
-    padding: 2px;
-    margin-top: 8px;
-    height: 50px;
-}
-
-dl.people dd img {
-    float: right;
-    position: relative;
-    margin-right: 3px;
-    top: -52px;
-}