/* ***** General settings ***** */

body {
    color: black;
    background-color: white;
    font-family: sans-serif;
    margin: 3ex 2em;
    padding: 0;
}

h1 {
    text-align: center;
}

a img {
    border: none;
}

p {
    margin: 0 0 1.5ex 0;
    padding: 0;
}

.date {
    margin: 0 0 2ex 2em;
    padding: 0;
    font-style: italic;
    text-align: right;
}

address {
    margin: 2ex 2em 0 0;
    padding: 0;
    font-size: 75%;
    text-align: right;
}

.ragged {
    text-align: left;
}

/* ***** Particular settings ***** */

#logo {
    margin: 0 1em 2ex 1em;
    float: left;
}

#slogan {
    padding: 1ex 0 0 0;
    text-align: right;
    font-size: 175%;
}

#header_contact {
    margin: 1ex 0;
    text-align: right;
    font-size: 75%;
}

.top_right_contact_details {
    float: right;
    font-size: 80%;
    text-align: right;
    padding: 0 0 1ex 1em;
}

/* ***** Whole page ***** */

/* We want to say "maximum width is 55em", but IE < 7 doesn't
   understand that. Instead, we need to set width for IE.
   IE also doesn't understand child selector syntax
   (html>body), which we can use to our advantage. */

/* First tell IE (and everything else) that the width is 55em */
#everything {
    width: 55em;
}

/* Now tell everything that /isn't/ IE that the width should be
   determined automatically, but that the maximum width is 55em.
   This is a more specific rule, so it overrides the above one */
html>body #everything {
    max-width: 55em;
    width: auto;
}

#middle {
    clear: both;
}

/* ***** Main content ***** */

#main {
    margin: 0 0 0 13em;
    color: black;
    background-color: #c6daf4;
    padding: 3ex 3em 3ex 4em;
    min-height: 18ex;
    height: auto !important; /* IE hack */
    height: 18ex;            /* IE hack */
    text-align: justify;
}

pre {
    background-color: #dbe6f4;
}

/* ***** Navigation bar ***** */

.nav {
    margin: 0;
    padding: 0;
    width: 13em;
    float: left;
}

.navContent {
    padding: 0;
    margin: 0;
    list-style: none;
    text-align: left;
}

.navContent2 {
    padding: 0;
    margin: 0 0 0 1em;
    list-style: none;
    text-align: left;
}

.navEntry {
    display: block;
    padding: 0 1em 0 5px;
    margin: 0px 10px 10px 0;
    border-left: 5px solid #0000cc;
    background-color: #c6daf4;
}

.navEntry2 {
    display: block;
    padding: 0 1em 0 5px;
    margin: 0px 10px 10px 0;
    background-color: #c6daf4;
}

.navSelected {
    background-color: #e8d60c;
}

#nav a {
    padding: 0;
    font-size: 140%;
    text-decoration: none;
    color: #0000cc;
}

#nav a:hover {
    color: #ff0000;
}