h1 {
    font-size: 40px;
}
h1.mn {
    font-family: verdana, arial, helvetica, sans-serif;
    background-color: #313163;
    color: #EFEFF7;
    padding: 0% 2%;
}
h4 {
    font-family: verdana, arial, helvetica, sans-serif;
    color: #313163;
    text-decoration: underline;
    font-size: 19px;
}
h5 {
    font-family: arial, helvetica, sans-serif;
    color: #313163;
    text-decoration: underline;
    font-size: 18px;
}
hr.solid {
    border-style: solid;
}
a:hover {color: red;}
h4 a, h5 a {
    color: #313163;
}
h4 a:hover, h5 a:hover {
    color: #800000;
}
td.colofon {
    font-family: arial, helvetica, sans-serif;
    font-size: 13px;
    color: #000000;
    font-weight: normal;
}
td.colofon a {
    font-size: 15px;
    text-decoration: none;
    color: #08470e;
}
td.colofon a:hover {
    text-decoration: none;
    color: #800000;
}
td.nav {
    font-family: arial, helvetica, sans-serif;
    font-size: 15px;
    color: #800000;
    font-weight: normal;
}
td.nav a {
    text-decoration: none;
    color: #313163;
    font-family: arial, helvetica, sans-serif;
    font-size: 15px;
    font-weight: normal;
}
td.nav a:hover {
    text-decoration: none;
    color: #800000;
    font-family: arial, helvetica, sans-serif;
    font-weight: normal;
}
td.data {
    font-family: times new roman, times, serif;
    font-size: 18px;
}
td, p, ul, li {
    font-family: arial, helvetica, sans-serif;
    font-size: 18px;
}

th.art {
    background-color: #DDD;
    font-family: verdana, arial, helvetica, sans-serif;
    font-weight: normal;	
    font-size: 17px;
}
th.top {
    background-color: #CCC;
    font-family: verdana, arial, helvetica, sans-serif;
    font-weight: normal;	
    font-size: 17px;
}
td.art {
    background-color: #EEE;
    font-family: verdana, arial, helvetica, sans-serif;
    font-weight: normal;	
    font-size: 17px;
}
h1.mart {
    font-family: verdana, arial, helvetica, sans-serif;
    background-color: lavender;
    color: #000000;
    border-style: solid;
    border-width: thin;
}
h1.art, h2.art, h3.art, h4.art, h5.art, h6.art {
    font-family: verdana, arial, helvetica, sans-serif;
    text-decoration: none;
    color: #313163;
}

font.small {
    font-family: arial, helvetica, sans-serif;
    font-size: 12px;
}

