/* CSS for different kinds of buttons (including input elements) */

/* Bordered buttons 50px x 25px: */
button.button50x25 {
	height: 25px;
	width: 60px; /* !!! */
	border: 1px solid #657195;
	/*
	padding-left: 10px;
	padding-right: 10px;
	*/
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}
button.button50x20 {
	height: 20px;
	width: 60px; /* !!! */
	border: 1px solid #657195;
	/*
	padding-left: 10px;
	padding-right: 10px;
	*/
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}
button.button145x20 {
	height: 20px;
	width: 145px;
	border: 1px solid #657195;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand;
	color: #657195;
}
button.button250x20 {
	height: 20px;
	width: 250px;
	border: 1px solid #657195;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand;
	color: #657195;
}
input.button120x25 {
	height: 25px;
	width: 120px;
	border: 1px solid #657195;
	padding-right: 10px; padding-left: 10px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand;
	color: #657195;
}
input.button50x20 {
	height: 20px;
	width: 50px;
	border: 1px solid #657195;
	padding-right: 5px; padding-left: 5px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand;
	color: #657195;
}
button.button70x25 {
	height: 25px;
	width: 70px;
	border: 1px solid #657195;
	padding-right: 10px; padding-left: 10px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}
button.button90x25 {
	height: 25px;
	width: 90px;
	border: 1px solid #657195;
	padding-right: 10px; padding-left: 10px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}

button.button135x25 {
	height: 25px;
	width: 135px;
	border: 1px solid #657195;
	padding-right: 10px; padding-left: 10px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}

button.button152x25 {
	height: 25px;
	width: 152px;
	border: 1px solid #657195;
	padding-right: 10px; padding-left: 10px;
	text-align: center; 
	background-position: 0px 0px;
	background-repeat: x-repeat;
	cursor: pointer;
	cursor: hand; 
	color: #657195;
}
/*button.button50x25:hover {border: 1px solid #535856;}*/

/* Non-bordered small buttons 20px x 20 px */
button.button2020 {
	width: 20px; 
	height: 20px;
	border: 0px;
	padding: 0px;
	text-align: center;
	background: none;
	background-color: transparent; 
	cursor: pointer;
	cursor: hand;
}

/* Simple non buttons without graphics */
button.gray_button {
	border: 1px solid #657195;
	padding: 2px;
	margin: 2px;
	background: white;
	color: #657195;
}

/* Some alignment needed for buttons on the glossary page */
button.glossary_main
{
	vertical-align: middle;
	padding-left: 2px;
}

button.flatbutton, input.flatbutton {
	border: 1px solid #657195;
	color: #657195;
}

button.button_strong, input.button_strong {
	font-weight: bold;
}