/* CSS 2.1 */
/* Time-stamp: <2010-08-27 10:31 (cris)> */

body {
    background-color: white;
    color: #002469;
}

a:link, a:visited {
    color: #002469;
}

a:active, a:hover {
    color: red;
}

h2, h3 {
    margin-bottom: 2ex;
    margin-top: 2ex;
}

h1 {
    font-size: 175%;
    margin-top: 2ex;
    margin-bottom: 2ex;
}

#menu a {
    display: block;
    border:          thin solid;
    margin-top:      3px;
	margin-bottom:   3px;
    padding-left:    3px;
	padding-right:   3px;
	padding-top:     2px;
	padding-bottom:  2px;
    font-size:       90%;
	font-weight:     bold;
    text-align:      left;
}

#content img {
    border: medium solid;
}

#menu img { 
    border: none;
}

#menu a:link,
#menu a:visited {
    text-decoration: none;
    color:           #002469;
}

#menu a:active,
#menu a:hover
{
    text-decoration: none;
    color:           red;
}

div#menu {
    position : fixed;
    height   : auto;
    left     : 0;
    width    : 12em;
    margin   : 0px 0px 0px 1em;
    padding  : 1ex;
    overflow : auto;
}

div#content {
    position : fixed;
    margin : 0px 0px 0px 13em;
    width : auto;
    height : auto;
    padding : 1ex;
    overflow : auto;
}