html, body {
	width: 100%;
	height: 100%;
	margin: 0;
}

.vast {
	height: 100%;
	width: 100%;
	margin: 0;
}

#menu {
	background-color: rgb(0,0,0);
	float: left;
	height: 100%;
	width: 132px;
	margin: 0;
	padding: 0;
}

.mi {
	color: white;
	font-size: x-small;
	text-decoration: none;
}

.mb {
	margin: 0;
	padding: 10px 0 0 0;
	cursor: pointer;
}

.content {
	background-color: rgb(172, 166, 166);
	height: 100%;

	margin: 0 0 0 135px;
}

.emptyEl {
	color: gray;
}

.error {
	color: red;
	font-size: 120%;
	font-weight: bold;
}

p {
	text-indent: 20px;
}

div.pages a {
	color: rgb(17, 125, 17);
/*
	text-decoration: u;
*/
}

div.pages a.current {
	color: blue;
	text-decoration: none;
}