body
	{display:block;
	font-family:serif;
	font-size:16pt;
	line-height:1.5em;
	text-align:justify;}
h1, h2, h3, h4
	{font-size:1.4em;
	text-align:left;
	margin:2mm 0;}
h2
	{font-size:1.2em;}
h2:before
	{content:counter(header) ". ";
	counter-increment:header;}
h2#ack:before, h2#refs:before
	{display:none;}
h3, h4
	{font-size:1.1em;}
.meta
	{margin:1em 10%;
	font-size:0.8em;
	line-height:1.2em;}
.meta > div
	{margin:0.3ex 0;}
.author
	{font-size:1.2em;}

.theorem
	{border:dashed 1px;
	padding:1mm;}
.comment, .remark, .sample, .proof
	{border-bottom:dotted 1px;}
.formula
	{display:block;
	margin:0.5ex 1.5em 0.5ex 12%;
	line-height:2em;
	text-align:left;}
.formula, em
	{white-space:nowrap;
	font-style:normal;} 
.formula:before
	{content:"(" counter(equation) ")";
	counter-increment:equation;
	display:block;
	text-align:right;
	margin:0 -1.5em -2em 0;}
span[n][d]
	{display:inline-block;
	font-size:0.8em;
	line-height:1.4em;
	margin:0 2px;
	text-align:center;
	vertical-align:middle;
	white-space:nowrap;}
span[n][d]:before
	{display:block;
	content:attr(n);
	border-bottom:solid 1px;}
span[n][d]:after
	{display:block;
	content:attr(d);}
sub, sup
	{font-size:0.7em;
	position:relative;
	vertical-align:baseline;
	top:0.8ex;}
sup
	{top:-1.2ex;}
span[r]:before
	{content:"(" attr(r) ")";}
span[r][x]:after
	{content:"1/" attr(x);}
span[r]:after
	{content:"1/2";
	font-size:0.7em;
	position:relative;
	top:-1.2ex;}
span[c]:before
	{content:attr(c);
	font-size:1.4em;
	position:relative;
	top:0.2ex;}
span[a][c]:after
	{content:attr(a);
	position:relative;
	top:1.4ex;
	font-size:0.7em;}
span[b][c]:after
	{content:attr(b);
	position:relative;
	top:-2.2ex;
	font-size:0.7em;}
span[a][b][c]:after
	{display:inline-block;
	content:attr(b) "\A" attr(a);
	line-height:1.7em;
	vertical-align:middle;
	margin-right:2px;
	white-space:pre;
	top:0;}
sup span[n][d], sup span[r], sup span[c], 
sub span[n][d], sub span[r], sub span[c], 
span[n][a], span[n][b], span[n][c], span[n][r],
span[n][x], span[d][a], span[d][b], span[d][c], 
span[d][r], span[d][x], span[c][r], span[c][x], 
span[a][r], span[a][x], span[b][r], span[b][x],
span[c][r], span[c][x]  
	{outline:solid 10px red;}
@media screen, projection
		{
.formula, a, em, li
	{color:navy;}
html
	{background-color:silver;}
body
	{padding:5%;}
h1, h2, h3, h4, strong
	{color:maroon;}
		}
@media print
		{
body
	{background-color:white;
	font-size:14pt;}
.formula, .theorem
	{page-break-inside:avoid;}
		}