.redline {
	border-top: medium none #FF0000;
	border-right: medium none #FF0000;
	border-bottom: medium solid #FF0000;
	border-left: medium none #FF0000;
}
.menu_style {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	color: #000000;
	font-weight: bold;
	padding-top: 20px;
	height: 40px;
	text-decoration: none;
}
.menusub2_style {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
	padding-top: 5px;
	height: 15px;
	text-decoration: none;
}
.menusub3_style {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
	padding-left: 25px;
	padding-top: 5px;
	height: 5px;
	text-decoration: none;
}
.rootlinemenu1_style {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 30px;
	color: #000066;
	font-weight: bold;
	text-decoration: none;
}
.rootlinemenu2_style {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	color: #000066;
	text-decoration: none;
}
.standardtext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 4mm;
	color: #000000;
	text-decoration: none;
}

.style1 {font-size: 3mm}