@charset "utf-8";
/* CSS Document */

div.mini_nav {
	margin:5px auto 10px;
	padding:5px 2px;
	border-top:1px solid #EEEEEE;
	border-bottom:1px solid #EEEEEE;
}
div.mini_nav:hover {
	border-color:#CCCCCC;
}
div.mini_nav a {
	font-size:11px;
	margin-right:20px;
}
div.mini_nav a.current {
	color:#F7941D;
}
div.mini_nav a.static {
	color:#CCCCCC;
	cursor:default;
}