.deftxt {
	font-family: Arial, Helvetica, sans-serif;
	font-size: small;
}

a {
	text-decoration: none;
}
.quote {
	font-family: "Courier New", Courier, mono;
	font-size: small;
	font-style: italic;
}

.dns_bigtitle {
	font-family: Courier;
	font-size: 24px;
	color: #000000;
	text-decoration: none;
}
.dns_bigtitleGreen {
	color: #1D9920;
}