@import url(html4css1.css);

body {
    min-width: 20em;
    max-width: 55em;
    margin: 0 auto;
    font-family: "Bitstream Vera Serif",  Georgia, serif;

    text-align:justify;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    -ms-hyphens: auto;
    -o-hyphens: auto;
    hyphens: auto;
}

ul.navigation{
    display: block;
    text-align: center;
    padding: 0;
}

ul.navigation li{
    display: inline;
    margin: 0 0.5em;
}

.hidden_structure h1, h2, h3, h4, h5, h6 {
    display: none;
}

#header { margin-top: 0.5em; }
#footer { margin: 2em 0; }
#header, #header a:link, #header a:visited, #footer {
    color: gray;
}
#header a:hover { color: black }

h1, h2, h3, h4, h5, h6 {
    font-family: "Bitstream Vera Sans",  Verdana, sans-serif;
    font-weight: normal;
}

li {
    margin: 0.3em 0
}

img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

pre, code { background-color: #eee; border: 1px solid #ccc; }
pre { padding: 0.3em; }
code { padding: 0 0.1em; }
pre > code { border: none; padding: 0; }