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

/*paper-body.php*/
#paper .j {
	background-color: #fff;
}
#paper .kb {
	background-color: #fdf5e6;
}
#paper .hb {
	background-color: #faf0e6;
}
#paper .sb {
	background-color: white;
}
#paper .cpb {
	background-color: #f0f8ff;
}
#paper .cch {
	background-color: #fff0f5;
}
#paper .kr {
	background-color: #cc9966;
}
#paper .or {
	background-color: #ffcd82;
}
#paper .ecog {
	background-color: #fffafa;
}
#paper .sf {
	background-color: #ffffff;
}

#mainContent .formula {
	margin: 1em 0 0;
	padding: 0.5em 1em;
	background-color: #ffffff;
	font-size: medium;
	border: solid 1px lightgrey;
}

#mainContent .example {
	margin: 0.5em 0.5em 1em;
}