--- 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;
-}