.border_4_sides {
	border: 5px solid #CCCCCC;
}
.jump_menu_text {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
}
.border_top_left {
	border-top-width: 4px;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: solid;
	border-top-color: #CCCCCC;
	border-left-width: 4px;
	border-left-color: #CCCCCC;
}
.border_top {
	border-top-width: 4px;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
	border-top-color: #CCCCCC;
}