div.formula
{
	border: solid;
	border-width: thin;
	background: rgb(200,200,200);
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
}