/* $Id: style.css,v 1.2 2006-05-14 22:05:13 martin Exp $ */
body {
    padding-bottom: 1em;
    font-family: sans-serif;
}

hr {
    height: 1px;
    background-color: gray;
    border: 0;
}

.code {
    margin-left: 2em;
    overflow: auto;
    white-space: pre;
    font-family: monospace;
}

#main {
}

#header {
    margin: 20px 0 0 0;
    padding-left: 125px;
    height: 120px;
    background: url(mima_logo_100x100.png) no-repeat 15px 0;
    border-bottom: 1px solid gray;
}

#header h1 {
    margin: 0;
    padding: 55px 0 0 0;
}

#body {
    width: 780px;
}

#menu {
    width: 130px;
    float: left;
    margin: 0 0 1em 0;
    text-align: center;
}

#menu ul {
    margin: 0;
    padding: 0;
    text-align: left;
    font-weight: bold;
    list-style-type: none;
    border: 1px solid gray;
    border-bottom: 0;
}

#menu li {
    margin: 0;
    padding: 0;
    border-bottom: 1px solid gray;
}

#menu ul a {
    margin: 0;
    padding: 0.3em;
    display: block;
    color: gray;
    text-decoration: none;
}

#menu ul a.selected {
    color: black;
}

#menu ul a:hover {
    color: #2c5dae;
    background-color: #e4eeff;
}

#menu ul a.selected:hover {
    color: black;
}

#menu ul.submenu {
    margin-left: 1em;
    font-weight: normal;
    border: 0px solid gray;
}

#menu ul.submenu li {
    border: 0px;
    border-top: 1px solid gray;
}

#content {
    margin: 0 0 0 145px;
}

#content h4.news {
    padding: 0.2em;
    border: 1px dashed gray;
}

#footer {
    clear: both;
    margin: 0;
    padding: 0.5em 0 0 0;
    border-top: 1px solid gray;
}