@charset "utf-8";
/* CSS Document */

.bodytext {
    font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", Verdana, sans-serif;
}
.colorhighlight {
	color:#2074B1
}
.textbackgroundcolor {
	font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", Verdana, "sans-serif";
	background-color: aquamarine
}
.background {
    background-image: url("../images/tools.jpg");
    webkit-background-size: cover;
	moz-background-size: cover;
	o-background-size: cover;
	background-size: 100%;
	min-height: 100%;
}