body {
    font-family: Tahoma,Verdana,sans-serif;
    font-size: small;
    color: rgb(70,70,70);
    margin: 0;
    background: rgb(250,255,252);
}

.bg {
    margin: 0;
    margin-bottom: 20px;
    background-image: url(header.png);
    background-repeat: repeat-x;
}

.bg .header {
    margin: 0 15% 0 15%;
    max-width: 50em;
    padding-top: 1em;
    padding-bottom: 1em;
}

.bg .header h1 {
    font-size: xx-large;
    text-align: right;
    color: white;
}

.bg .header h1 sup {
    font-size: small;
    position: absolute;
}

/*body {
    margin: 0 15% 0 15%;
    max-width: 50em;
}*/

h1 { font-size: x-large; border-bottom: 1px rgb(200,200,200) solid; text-align: right; margin: 0 0 0.7em 0; padding: 0 0 0.2em 0; }
h1 sup { font-size: small; position: absolute; }

h2 { margin: 1.2em 0 .7em; }
h3 { margin: .7em 0; }
p { margin: 1em 0; }

pre {
    overflow: auto;
    padding: 1em 0 0 1em;
    border: 1px rgb(200,200,200) solid;
    background: rgb(243,246,249);
    margin: 1em 0;
}

dl { margin: 1em 0; }
dt { margin: 1em  0 0; }
dd { margin: .5em 0 .5em 5%; }
dd p { margin: .5em 0 .5em; }

a[name] { display: block; line-height: 0; }
h3 + a[name] { margin-top: -.7em; } 
h3 + a[name="lbAG" ] { margin-top: 0; }
h3 + a[name="lbBB"] { margin-top: 0; }

table td {
    padding: .3em;
    border-bottom: 1px solid rgb(230,230,230);
}

a { font-weight: bold; text-decoration: none; color: black; }
a:visited { font-weight: normal; }
a:hover { font-style: italic; }

#nav {
    width: 10em;
    /*background: gray;*/
    text-align: right;
    float: left;
    padding: 1em 0 0 0;
}

#nav a { display: block; padding: 0 0 1em 0; font-weight: normal; }
#nav a:hover { font-style: normal; background: transparent; /* background so that IE does hover effect (?!?!)*/ }
#nav a span { color: rgb(250,255,252); }
#nav a:hover span { color: black; }

#content {
    /*background: lightsteelblue;*/
    max-width: 57em;
    margin: 0 0 0 10em;
    padding: 1em 1em 0 1em;
    border-left: 1px rgb(200,200,200) solid;
}

div.item {
    border-bottom: 1px rgb(200,200,200) solid;
    margin: 0 0 2em 0;
}

div.item p { margin: 1em 0.2em 0.3em 0; line-height: 1.5; text-align: justify; }

#languages {
    margin: 2em 0 2em 2em;
    font-size: x-small;
}

#footer {
    margin: 2em 0 0 0;
    text-align: center;
    border-top: 1px rgb(200,200,200) solid;
    font-size: xx-small;
}