@import url(html4css1.css);

/* Keeping a scrollbar always there to make centering work properly. */
html {
    overflow-y: scroll;
}

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

div.padding {
    margin: 1em;
}

/* Enable hyphenation. */
body {
    text-align:justify;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    -ms-hyphens: auto;
    -o-hyphens: auto;
    hyphens: auto;
}
tt, pre {
    -webkit-hyphens: none;
    -moz-hyphens: none;
    -ms-hyphens: none;
    -o-hyphens: none;
    hyphens: none;
}

/* The link color is the average color of the Kwant logo. */
a {
    color: #045e94;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

ul.navigation{
    display: block;
    text-align: center;
    padding: 0.4em;
    border-radius: 5px;
    background-color: #eeeeee;
    -webkit-hyphens: none;
    -moz-hyphens: none;
    -ms-hyphens: none;
    -o-hyphens: none;
    hyphens: none;
}

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

.hidden_structure {
    display: none;
}

#header { margin-top: 0.5em; }
#footer { margin: 2em 0; }
#header, #header a, #footer {
    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; }

div.leftside {
    float: left;
}

div.rightside {
    float: right;
}

div.section{
    height: auto;
    overflow: auto;
}