Admin/website/css/isabelle_print.css
author haftmann
Fri, 05 May 2006 16:50:58 +0200
changeset 19563 ddd36d9e6943
parent 17563 abb280dd3431
child 19565 67d1792dc0f2
permissions -rw-r--r--
added something
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17563
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     1
/************************************************************
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     2
 * Stylesheet Isabelle (print media)                        *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     3
 ************************************************************/
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     4
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     5
/* $Id$ */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     6
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     7
@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     8
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     9
/* use times font for floating text */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    10
p, body, th, td {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    11
    font-family: Times New Roman,times,serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    12
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    13
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    14
/* body margin */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    15
body {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    16
    margin: 4pt;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    17
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    18
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    19
/* no rulers (they are just a supplemental for non-css browsers) */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    20
hr {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    21
    display: none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    22
    visibility: hidden;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    23
    height: 0pt;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    24
    width: 0pt;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    25
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    26
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    27
/* header layout */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    28
div#header {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    29
    position: relative;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    30
    height: 94px; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    31
    background-color: #FFFFFF;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    32
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    33
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    34
div#header h1 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    35
    position: absolute;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    36
    top: 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    37
    left: 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    38
    margin: 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    39
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    40
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    41
div#header a#isabelle_logo {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    42
    position: absolute;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    43
    right: 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    44
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    45
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    46
div#header a#univ_tum {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    47
    display: none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    48
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    49
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    50
div#header a#univ_cambridge {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    51
    display: none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    52
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    53
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    54
div#header span.headersep {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    55
    display: none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    56
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    57
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    58
/* navigation layout */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    59
div#navigation {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    60
    display: none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    61
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    62
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    63
/* footer layout */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    64
div#footer {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    65
    position: relative;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    66
    top: 8px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    67
    clear: both;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    68
    border-top: 2px solid #000000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    69
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    70
19563
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    71
/* mirrorlist layout */
17563
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    72
div.mirrorlist {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    73
    display: none;
19563
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    74
}
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    75
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    76
/* thesis announcement */
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    77
body.thesis div#header {
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    78
    height: 108px; 
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    79
}
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    80
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    81
body.thesis div#header p {
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    82
    font-family: Arial,Helvetica,Verdana,sans-serif;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    83
    position: absolute;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    84
    top: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    85
    left: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    86
    right: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    87
    margin: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    88
}
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    89
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    90
body.thesis div#header h1 {
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    91
    position: absolute;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    92
    top: 20px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    93
    left: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    94
    right: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    95
    margin: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    96
    font-size: 3ex;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    97
}
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    98
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
    99
body.thesis div#header a#isabelle_logo {
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   100
    position: absolute;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   101
    left: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   102
}
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   103
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   104
body.thesis div#header a#info_logo {
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   105
    position: absolute;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   106
    right: 0px;
ddd36d9e6943 added something
haftmann
parents: 17563
diff changeset
   107
}