.main_font {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}
.pull_down {
	background-color: #DED1F8;
	border: thin inset #DED1F8;
}
button { background-color: #996699; }