body {
    background-color: #fff;
    color: #000;
    text-align: left;
    margin: 0;
    padding: 16em 16em 0 0;
    font-size: 10pt;
    font-family: "helvetica neue", helvetica, arial, verdana, sans-serif;
}
* html body {
    padding: 160pt 0 0 0;
    overflow: hidden;
}
@media print {
    body {
        font-size: 14pt;
    }
}
a:link, a:visited, a:hover, a:active {
    background-color: inherit;
    color: #000; /* IE can't inherit link colors from text */
    text-decoration: underline;
}
#language-selection { 
    position: absolute;
    z-index: 2;
    top: 0.5em;
    left: 0.5em;
    width: 12.5em;
    margin: 0;
    padding: 0;
    font-size: 100%;
    text-align: right;
}
* html body #language-selection {
    position: absolute;
    top: 5pt;
    left: 5pt;
    width: 125pt;
}
@media screen {
    #language-selection {
        position: fixed;
    }
}
@media print {
    #language-selection {
/*        display: none;*/
    }
}
#language-selection ul { 
    font-size: 67.5%;
    line-height: 125%;
    margin: 0;
    padding: 0;
    list-style-type: none;
}
#language-selection li {
    float: right;
    margin: 0 0 0 0.5em;
}
* html body #language-selection li {
    display: table-cell;
    float: right;
    margin-left: 5pt;
}
#language-selection a { 
    padding: 0.225em;
    text-decoration: none;
}
* html body #language-selection a {
    padding: 2.25pt;
}
#language-selection a.other:link, #language-selection a.other:visited {
    background-color: inherit;
    color: inherit;
}
#language-selection a.other:hover, #language-selection a.other:active {
    background-color: #fc0;
    color: inherit;
}
#language-selection a.current:link, #language-selection a.current:visited {
    background-color: #fc0;
    color: inherit;
}
#language-selection a.current:hover, #language-selection a.current:active {
    background-color: #ff0;
    color: inherit;
}
#header {
    position: absolute;
    background-color: #fff;
    color: #000;
    z-index: 1;
    left: 0;
    top: 0;
    padding: 4em 0 0 16em;
    margin: 0;
    min-width: 32em;
    width: 100%;
    height: 8.5em;
}
* html body #header {
    position: absolute;
    padding: 40pt 0 0 160pt;
    min-width: 480pt;
    width: 95%;
    height: 125pt;
}
@media screen {
    #header {
        position: fixed;
    }
}
@media print {
    #header {
        position: absolute;
    }
}
#header #logo {
    position: absolute;
    top: auto;
    left: 9.8em;
    height: 7em;
    width: 3.2em;
}
* html body #header #logo {
    position: absolute;
    z-index: 5;
    left: 98pt;
    height: 70pt;
    width: 32pt;
}
#header #divider {
    position: absolute;
    left: 0;
    top: 12.4em;
    height: 3.6em;
    min-width: 48em;
    width: 100%;
    font-size: 100%;
}
* html body #header #divider {
    display: none;
    position: absolute;
    left: 155pt;
    top: 125pt;
    height: 36pt;
    width: 100%;
}
#header #title {
    margin: 0;
    padding: 0;
    font-size: 350%;
    font-weight: bold;
}
#header #subtitle {
    margin: 0;
    padding: 0;
    font-size: 150%;
    font-weight: normal;
}
#menu {
    position: absolute;
    background-color: inherit;
    color: inherit;
    z-index: 1;
    text-align: right;
    font-size: 100%;
    top: 16em;
    left: 0;
    margin: 0;
    padding: 0 1em 0 2em;
    width: 11em;
}
* html body #menu {
    position: absolute;
    top: 160pt;
    padding: 0 10pt 0 20pt;
    width: 140pt;
}
@media screen {
    #menu {
        position: fixed;
    }
}
@media print {
    #menu {
        position: absolute;
    }
}
#menu ul {
    display: table;
    width: 100%;
    background-color: inherit;
    color: inherit;
    right: 0;
    top: 0;
    margin: 0;
    padding: 0.25em 0 0.25em 0;
    list-style-type: none;
}
* html body #menu ul {
    padding: 2.5pt 0 2.5pt 0;
}
#menu ul ul {
    background-color: #ddd;
    color: inherit;
    margin-bottom: 0.5em;
}
* html body #menu ul ul {
    width: 100%;
    margin-bottom: 5pt;
}
#menu ul ul ul {
    background-color: #ccc;
    color: inherit;
    margin-bottom: 0;
}
#menu li {
    font-size: 75%;
    line-height: 150%;
    margin: 0;
    padding: 0.225em 0 0.225em 0;
}
* html body #menu li {
    width: 100%;
    padding: 2.25pt 0 2.25pt 0;
}
#menu li li {
    font-size: 90%;
    padding: 0.25em 1.5em 0.25em 0;
}
* html body #menu li li {
    padding: 2.5pt 15pt 2.5pt 0;
}
#menu li li li {
    font-size: 100%;
}
#menu a {
    display: table;
    padding-right: 0.5em;
    width: 100%;
    text-decoration: none;
}
#menu a.other:link, #menu a.other:visited {
    background-color: inherit;
    color: inherit;
}
#menu a.other:hover, #menu a.other:active {
    background-color: #fc0;
    color: inherit;
}
#menu a.current:link, #menu a.current:visited {
    background-color: #fc0;
    color: inherit;
}
#menu a.current:hover, #menu a.current:active {
    background-color: #ff0;
    color: inherit;
}
#maincontent a:link, #maincontent a:visited {
    background-color: #fc0;
    color: inherit;
    text-decoration: none;
}
#maincontent a:hover, #maincontent a:active {
    background-color: #ff0;
    color: inherit;
    text-decoration: none;
}
#maincontent {
    text-align:left;
    line-height: 150%;
    position: absolute;
    top: 16em;
    left: 16em;
    min-width: 32em;
    width: 50%;
    margin: 0;
}
* html body #maincontent {
    position: absolute;
    top: 0;
    left: 0;
    height: 100%;
    width: 100%;
    padding-top: 160pt;
    padding-left: 160pt;
    padding-right: 160pt;
    overflow: auto;
}
#maincontent p {
    margin: 0;
    padding: 0 0 1.5em 0;
}
* html body #maincontent p {
    padding: 0 0 15pt 0;
}
#maincontent li {
    padding: 0 0 0.5em 0;
}
* html body #maincontent li {
    padding: 0 0 5pt 0;
}
#maincontent dt {
    font-weight: bold;
}
#maincontent dd {
    padding: 0 0 1em 0;
}
* html body #maincontent dd {
    padding: 0 0 10pt 0;
}
#maincontent code {
    font-size: 90%;
}
#maincontent pre {
    font-size: 90%;
    line-height: 125%;
    margin: 0 2em 2em 2em;
    padding: 1em;
    background-color: #ccc;
    color: inherit;
    overflow: auto;
}
* html body #maincontent pre {
    margin: 0 20pt 20pt 20pt;
    padding: 10pt;
}
#maincontent blockquote {
    font-size: 90%;
    line-height: 150%;
    margin: 0 2em 0 2em;
    padding: 0 1em 0 1em;
}
* html body #maincontent blockquote {
    margin: 0 20pt 0 20pt;
    padding: 0 10pt 0 10pt;
}
#maincontent blockquote.quote {
    background-color: #ccc;
    color: inherit;
    padding: 1em;
}
* html body #maincontent blockquote.quote {
    padding: 10pt;
}
#maincontent small {
    font-size: 75%;
}
#maincontent p.small {
    line-height: 125%;
    font-size: 75%;
    padding: 0 0 1em 0;
}
* html body #maincontent p.small {
    padding: 0 0 10pt 0;
}
#maincontent p.isbn {
    line-height: 125%;
    font-size: 75%;
    padding: 0 0 2em 0;
}
* html body #maincontent p.isbn {
    padding: 0 0 20pt 0;
}
#maincontent p.author {
    line-height: 125%;
    padding: 2em 0 0.5em 0;
}
* html body #maincontent p.author {
    padding: 20pt 0 5pt 0;
}
#maincontent h1 {
    margin: 0;
    padding: 0 0 1em 0;
    font-weight: bold;
    font-size: 140%;
}
* html body #maincontent h1 {
    padding: 0 0 10pt 0;
}
#maincontent h2 {
    margin: 0;
    padding: 0 0 1em 0;
    font-weight: bold;
    font-size: 110%;
}
* html body #maincontent h2 {
    padding: 0 0 10pt 0;
}
#maincontent h3 {
    margin: 0;
    padding: 0 0 1em 0;
    font-weight: bold;
    font-size: 100%;
}
* html body #maincontent h3 {
    padding: 0 0 10pt 0;
}
#maincontent h4 {
    margin: 0;
    padding: 0 0 1em 0;
    font-weight: bold;
    font-style: italic;
    font-size: 100%;
}
* html body #maincontent h4 {
    padding: 0 0 10pt 0;
}
#maincontent .image {
    text-align: center;
    background-color: #ccc;
    color: inherit;
    margin: 1em 0 1em 1em;
    padding: 0.5em;
    float: right;
}
* html body #maincontent .image {
    margin: 10pt 0 10pt 10pt;
    padding: 5pt;
}
#maincontent .image img {
    width: 100%;
    padding: 0;
    margin: 0;
}
#maincontent .image p {
    font-size: 75%;
    line-height: 150%;
    padding: 0;
    margin: 0;
}
#maincontent .image p.caption {
    text-align: left;
}
#maincontent * span.caps {
    font-size: 100%;
/*    color: #ccc;*/
}
#footer {
    position: absolute;
    background-color: inherit;
    color: #777;
    z-index: 1;
    bottom: 0.5em;
    left: 0.5em;
    width: 12.5em;
    margin: 0;
    padding: 0 1em 0 0;
    font-size: 100%;
    text-align: right;
}
#footer a {
    background-color: inherit;
    color: #777;
}
* html body #footer {
    position: absolute;
    bottom: 5pt;
    left: 5pt;
    width: 135pt;
    padding: 0 10pt 0 0;
}
@media screen {
    #footer {
        position: fixed;
    }
}
@media print {
    #footer {
        position: absolute;
    }
}
#footer p {
    font-size: 67.5%;
    line-height: 125%;
    margin: 0;
    padding: 0.5em 0 0 0;
}
* html body #footer p {
    padding: 5pt 0 0 0;
}