Admin/website/dist/css/isabelle_print.css
author haftmann
Sat, 04 Jun 2005 10:26:08 +0200
changeset 16233 e634d33deb86
child 16575 15d5f8e729fe
permissions -rw-r--r--
added new website
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
/************************************************************
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
 * Stylesheet Isabelle (print media)                        *
e634d33deb86 added new website
haftmann
parents:
diff changeset
     3
 ************************************************************/
e634d33deb86 added new website
haftmann
parents:
diff changeset
     4
e634d33deb86 added new website
haftmann
parents:
diff changeset
     5
/* $Id$ */
e634d33deb86 added new website
haftmann
parents:
diff changeset
     6
e634d33deb86 added new website
haftmann
parents:
diff changeset
     7
@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
/* use times font for floating text */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    10
p, body, th, td {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    11
    font-family: Times New Roman,times,serif;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    12
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
e634d33deb86 added new website
haftmann
parents:
diff changeset
    14
/* body margin */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
body {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
    margin: 4pt;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    17
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
e634d33deb86 added new website
haftmann
parents:
diff changeset
    19
/* no rulers (they are just a supplemental for non-css browsers) */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    20
hr {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    21
    display: none;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    22
    visibility: hidden;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    23
    height: 0pt;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    24
    width: 0pt;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    25
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
/* header layout */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
div#header {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    29
    position: relative;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
    height: 94px; 
e634d33deb86 added new website
haftmann
parents:
diff changeset
    31
    background-color: #FFFFFF;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    32
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    33
e634d33deb86 added new website
haftmann
parents:
diff changeset
    34
div#header h1 {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
    position: absolute;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
    top: 0px;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    37
    left: 0px;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
    margin: 0px;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
div#header a#isabelle_logo {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
    position: absolute;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
    right: 0px;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    44
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    45
e634d33deb86 added new website
haftmann
parents:
diff changeset
    46
div#header a#univ_tum {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    47
    display: none;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    48
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    49
e634d33deb86 added new website
haftmann
parents:
diff changeset
    50
div#header a#univ_cambridge {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    51
    display: none;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    52
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    53
e634d33deb86 added new website
haftmann
parents:
diff changeset
    54
div#header span.headersep {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    55
    display: none;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    56
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    57
e634d33deb86 added new website
haftmann
parents:
diff changeset
    58
/* navigation layout */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    59
div#navigation {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    60
    display: none;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    61
}
e634d33deb86 added new website
haftmann
parents:
diff changeset
    62
e634d33deb86 added new website
haftmann
parents:
diff changeset
    63
/* footer layout */
e634d33deb86 added new website
haftmann
parents:
diff changeset
    64
div#footer {
e634d33deb86 added new website
haftmann
parents:
diff changeset
    65
    position: relative;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    66
    top: 8px;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    67
    clear: both;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    68
    border-top: 2px solid #000000;
e634d33deb86 added new website
haftmann
parents:
diff changeset
    69
}