#all {
	width: 755px;
	margin: 10px;
}
#header {
}
#content {
	border: 1px solid gray;
	padding: 20px;
}
.bruteforce {
	height: 370px;
}
#image {
	float: left;
	padding-right: 20px;
}
#text {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
}
#footer {
	clear: left;
	font: 11px georgia;
	color: #555753;
	padding-top: 10px;
}

body {
	font: 10px/17px georgia;
	color: #555753;
	background-color: rgb(251,245,211);
}
h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	color: rgb(236,38,34);
}
h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 13px;
	color: #CC3300;
}
table {
	margin-left: 20px;
	margin-right: 20px;
}
td {
	border: thin dotted gray;
	padding: 5px;
}
tr {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
}
a {
	color: #009999;
}
a:link {
	color: #666666;
	text-decoration: underline;
}
a:visited {
	color: #666666;
	text-decoration: none;

}
a:hover {
	text-decoration: none;
	background-color: #CCCCCC;
}
a:active {
	text-decoration: none;

}
.menu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
}
.menu a:link {
	color: #336600;
	text-decoration: none;
}
.menu a:visited {
	color: #666666;
	text-decoration: none;
}

.menu a:hover {
	color: #990000;
	text-decoration: none;
}

.menu a:active {
	color: #666666;
	text-decoration: none;
}