/*
 * Main-Stylesheet-file, dan.jungels.lu
 * (c) 2005-2018 Dan Jungels
 */
body {
    color: #000000;
    background-color: #ffffff;
    font-family: Arial, Helvetica, sans-serif;
    padding: 0px;
}
h2 {
    font-size: 120%;
    padding-top: 20px;
    padding-bottom: 4px;
    margin-top: 14px;
    margin-bottom: 2px;
}
p {
    padding-top: 4px;
    padding-bottom: 4px;
    padding-left: 4px;
    padding-right: 4px;
    clear: both;
}
img {
    border: none;
}
br {
    height: 1px;
}
table {
    padding-top: 4px;
    padding-bottom: 6px;
    padding-left: 2px;
    padding-right: 2px;
    border: none;
}
div.menu {
    background-color: #3366ff;
    color: #000000;
    border-bottom: 2px solid #666666;
}
div.menu ul {
    padding-top: 4px;
    padding-bottom: 4px;
    margin: 0;
    list-style-type: none;
    width: 90%;
    text-align: center;
}
div.menu li { 
    display: inline;
}
div.menu li a {
    padding-top: 4px;
    padding-bottom: 4px;
    text-decoration: none;
    padding-left: 20px;
    padding-right: 20px;
    background-color: #3366ff;
    color: #000000;
    border-left: 1px solid #ffffff;
    border-right: 1px solid #ffffff;
}
div.menu li a:hover {
    background: #3399ff;
    color: #000000;
}
div.menu li.menuActive { 
    font-style: italic;
    font-weight: bold;
}
div.maincontent {
    margin-left: 60px;
    margin-right: 40px;
}
div.maincontent p {
    padding-top: 20px;
    padding-bottom: 15px;
}
div.maincontent p.maincenter {
    text-align: center;
    margin-top: 2px;
    margin-bottom: 2px;
    padding-top: 6px;
    padding-bottom: 6px;
}
div.maincontent p.maincenterNav {
    text-align: center;
    margin-top: 1px;
    margin-bottom: 1px;
    padding-top: 2px;
    padding-bottom: 2px;
}
div.maincontent p.mainNav {
    margin-top: 6px;
    margin-bottom: 6px;
    padding-top: 10px;
    padding-bottom: 10px;
}
div.maincontent li {
    padding-top: 2px;
    padding-bottom: 4px;
}
div.maincontent li a {
    padding-left: 4px;
    padding-right: 8px;
    font-weight: bold;
}

div.footer {
    clear: both;
    font-size: small;
    padding-top: 10px;
    padding-bottom: 4px;
    border-top: 2px solid #666666;
}
div.boxedinfo {
    font-family: monospace;
    border: 1px solid;
    margin-top: 8px;
    margin-bottom: 8px;
    margin-left: 16px;
    margin-right: 16px;
    padding: 10px;
    display: block;
    width: 350px;
}
.floatleft {
    border: none;
    float: left;
    margin-left: 14px;
    margin-right: 14px;
}
.floatright {
    border: none;
    float: right;
    margin-left: 14px;
    margin-right: 14px;
}
span.important {
    font-weight: bold;
}
span.veryimportant {
    font-weight: bold;
    text-decoration: underline;
}