@import "basic.css";

a {
	text-decoration: none;
}

a.blur {
	color: #404040;
}

a.select {
	color: #000000;
	border-bottom: 1px #000000 dashed;
}

a.sub {
	color: #000000;
	font-size: 12px;
	text-indent: 15px;
	font-family: sans-serif;
	text-decoration: none;
}

/*a:hover {
	color: #ffffff;
	border-top: 1px #000000 solid;
	border-bottom: 1px #000000 solid;
	background-color: #01203d;
}*/

ul#menu {
	list-style-type: none;
	padding-left: 0;
}

ul#menu > li {
	margin-top: 1em;
	font-weight: bold;
}

ul#menu ul {
	list-style-type: circle;
	padding-left: 0.75em;
}

ul#menu ul li {
	font-weight: normal;
}

ul#menu ul li:hover {
	list-style-type: disc;
}