body {
	background-color: #eeeeff;
	margin: 0;
	padding: 0;
	font-size: 100%;
}

.invisible {
        display: none;
}


#mast {
	text-align: center;
}

#mast hr {
	width: 60%;
}

#menu {
	position: absolute;
	top: 15%;
	left: 0;
	width: 6em;
	background: #eeeeff;
	z-index: 10;
	border-top: 0px;
	border-right: 0px;
	border-bottom: 0px;
}

#menu ul {
	background: transparent;
	padding-left: 15px;
	margin-left: 0px;
	list-style-type:none
}

#menu li {
	font-size: 1em;
	background: transparent;
	display: block;
	padding-top: 1px;
	padding-bottom: 1px;
	list-style-type:none
}


#content{
	margin-top: 1em;
	margin-right: 6%;
	margin-bottom: 1em;
	margin-left: 7.5em;
	z-index: 0;
}

#content hr {
	width: 30%;
}

#content hr.footer {
	width: 90%;
}

#content a img {
    border: none;
}

#content code {
    font-size: 120%;
}


acronym {
	cursor: help;
}

caption {
margin-left: auto;
margin-right: auto;
}

table {
margin:0 auto;
}

pre {
font-family: serif;
}

#space li {
margin-bottom: 1em;
}