body {
	font-size: 0.9em;
	font-family: bitstream vera sans,sans-serif;
	margin: 0;
	padding: 0;
	/* (The background color is specified elsewhere, so do a global replacement if it ever changes) */
	background-color: #e0e0d8;
}

a:link {
	color: #900;
}
a:visited {
	color: #48468f;
}
a:hover {
	color: #f20;
}
a[name] {
	color: inherit;
	text-decoration: inherit;
}

#menu-side
    {
    position: absolute;
    z-index: 2;
    width: 164px;
    /* Space down for the approx line height (fonts) */
    left: 12px;
    top: 2px;
    /* add to the top margin to compensate for the fixed sizes */
    margin-top: 3px;
    color: #ffffff;
    font-size: 0.9em;
    }

/* Left-side navigation */

#menu-side-nav
    {
    list-style: none;
    margin: 0;
    padding: 0;
    border: 1px solid #382010;
    border-top: 0;
    background-color: #605050;
    }

#menu-side-nav li
    {
    margin: 0;
    padding: 0;
    border-top: 1px solid #382010;
    }

#menu-side-nav a
    {
    margin: 0;
    color: #f0f0d0;
    display: block;
    text-decoration: none;
    padding: 4px 6px;
    // font-weight: bold;
    }

#menu-side-nav span
    {
    margin: 0;
    color: #ffffff;
    display: block;
    text-decoration: none;
    padding: 4px 6px;
    }

#menu-side-nav a:hover
    {
    background-color: #903030;
    color: #fff;
    }

#menu-side-nav ul
    {
    list-style: none;
    margin: 0;
    padding: 0;
    }

#menu-side-nav ul li
    {
    border-top: 1px solid #382010;
    background-color: #605050;
    padding: 0;
    /* IE/Win gets upset if there is no bottom border... Go figure. */
    border-bottom: 1px solid #382010;
    }

#menu-side-nav ul li:hover
    {
    border-bottom: 1px solid #382010;
    }

#menu-side-nav ul li a
    {
    padding-left: 12px;
    color: #ffffff;
    }

#menu-side-nav ul li a:hover
    {
    background-color: #903030;
    }

#menu-side-nav ul ul li a
    {
    padding-left: 18px;
    }


#menu-side-nav strong a
    {
    font-weight: bold;
    color: #fff !important;
    background-color: #403838;
    }

#menu-side-nav strong a:hover
    {
    background-color: #903030 !important;
    }


/* content container */

#menu-page-content
    {
    /* font-size: 0.9em; */
    width: auto;
    min-width: 120px;
    margin: 15px;
    z-index: 3;
    margin-left: 193px;
    padding: 20px;
    border: 1px solid #605050;
    background-color: white;
    }

#menu-footer 
    {
    font-size: 0.75em;
    text-align: right;
    color: #777;
    margin-bottom: 2em;
    margin-right: 2em;
    }