@CHARSET "ISO-8859-1";

#div_tools
{
	border:1px solid rgb(249,167,106);
	background-color:rgb(193,87,9);
	margin-top:10px;
	margin-bottom:10px;
	padding:10px;
}