.example0 {
	
}
.example1 {
	color: olive;
	font: bold 20px Georgia, "Times New Roman", Times, serif;
	text-decoration: overline;
}