/* CSS Document animation_control_1_1.css */
form {
	display: inline;
}
.mini-button {
	background-color: #F5F5F5;
	border: 1px solid #999999;
	color: #000000;
	display: inline;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
	height: auto;
	width: auto;
}
.text {
	background-color: #F5F5F5;
	border: 1px solid #CCCCCC;
	color: #333333;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
	text-align: center;
}
.text_field_centered {
	background-color: #F5F5F5;
	border: 1px solid #CCCCCC;
	color: #333333;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	text-align: center;
	width: 75px;
}
#animation-control{
	height: 35px;
	left: 350px;
	position: absolute;
	top: 10px;
	width: 350px;
	z-index: 10000;
}