@charset "UTF-8";
h1 {
	font-family: "Times New Roman", Times, serif;
	font-size: 48px;
	border-top-width: medium;
	border-right-width: medium;
	border-bottom-width: medium;
	border-left-width: medium;
	border-top-style: double;
	border-right-style: double;
	border-bottom-style: double;
	border-left-style: double;
	text-align: center;
	background-color: #CCC;
	color: #000;
}
.function {
	font-size: 36px;
	font-family: "Arial Black", Gadget, sans-serif;
	background-color: #FFF;
	color: #000;
}
body p span {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 22px;
}
body div {
	font-family: Arial, Helvetica, sans-serif;
	color: #FFF;
	background-color: #030;
	text-align: center;
	border: medium outset #C90;
}
.example {
	font-size: 48px;
	background-color: #030;
	font-family: Arial, Helvetica, sans-serif;
}
h2 {
	font-size: 36px;
	text-align: center;
}
body h3 {
	font-size: 22px;
	text-align: center;
}
.counterexample {
	color: #F00;
	font-size: 48px;	
}
p {
	font-size: 24px;
	font-weight: normal;
	text-align: center;
}