/*
 * General
 */

body {
        font-family: sans-serif;
}

h1, h2, h3 {
        font-family: sans-serif;
        color: #331500;
}

h3 {
        font-style: italic;
}

a[href] {
        text-decoration: none;
}

a[href]:hover {
        text-decoration: underline;
}

a[href] > img {
        border-style: none;
}

.menubar a[href]:hover {
        text-decoration: none;
}

span.new {
        color: red ;
}

.translation {
    font-size: small;
    font-style: oblique;
}

#content {
        margin: 1em 2ex;
}

hr {
        width: 50%;
}