.html_button {
	cursor: hand;
	background-color:#cccccc;
	width: 100%;
	//border: 0;
/*
	border-top: 1px solid buttonhighlight;
	border-left: 1px solid buttonhighlight;
	border-bottom: 1px solid buttonshadow;
	border-right: 1px solid buttonshadow;
*/
	padding: 2; margin: 0; padding-bottom:1; padding-top:1;
}
.html_button img {
	border: 1px solid buttonface; margin:0; padding:1;
	cursor: hand;
}
.html_button img.hover {
	border-top: 1px solid buttonhighlight;
	border-left: 1px solid buttonhighlight;
	border-bottom: 1px solid buttonshadow;
	border-right: 1px solid buttonshadow;
}
.html_button span.sep {
	margin:0;
	background-color: buttonface;
	border-top: 1px solid buttonshadow;
	border-left: 1px solid buttonshadow;
	border-bottom: 1px solid buttonhighlight;
	border-right: 1px solid buttonhighlight;
	width: 2px;
	height: 20px;
}