/************************************************************
 * Stylesheet Isabelle (print media)                        *
 ************************************************************/

@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */

/* use times font for floating text */
p, body, th, td {
    font-family: Times New Roman,times,serif;
}

/* body margin */
body {
    margin: 4pt;
}

/* no rulers (they are just a supplemental for non-css browsers) */
hr {
    display: none;
    visibility: hidden;
    height: 0pt;
    width: 0pt;
}

/* header layout */
div#header {
    position: relative;
    height: 94px; 
    background-color: #FFFFFF;
}

div#header h1 {
    position: absolute;
    top: 0px;
    left: 0px;
    margin: 0px;
}

div#header a#isabelle_logo {
    position: absolute;
    right: 0px;
}

div#header a#univ_tum {
    display: none;
}

div#header a#univ_cambridge {
    display: none;
}

div#header span.headersep {
    display: none;
}

/* navigation layout */
div#navigation {
    display: none;
}

/* footer layout */
div#footer {
    position: relative;
    top: 8px;
    clear: both;
    border-top: 2px solid #000000;
}

/* mirrorlist layout */
div.mirrorlist {
    display: none;
}

/* thesis announcement */
body.thesis {
    margin: 0cm;
    padding: 0cm;
}

body.thesis div#header {
    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: 115px;
    right: 115px;
    margin: 0px;
}

body.thesis div#header h1 {
    position: absolute;
    top: 20px;
    left: 115px;
    right: 115px;
    margin: 0px;
    font-size: 2.8ex;
}

body.thesis div#header a#info_logo {
    position: absolute;
    left: 0px;
}

body.thesis h2 {
    font-size: 2.4ex;
}

body.thesis dl dt {
    font-weight: bold;
}