body { color: black; background: white; 
 	margin-left: 15%; margin-right: 10%;
	text-align: left; 
	font-size: medium;
	}
 h1 { margin-left: -15%;}
 h2 { margin-left: -15%; margin-top: 2.0em; margin-bottom: 0.5em; }
 h3 { margin-left: -7%;  margin-top: 0.75em; margin-bottom: 0.5em; }
 h4,h5 { margin-left: -0%;  margin-top: 0.5em; margin-bottom: 0.25em; }
 h1, h2, h3, h4, h5, p, ul { font-family: sans-serif; }
 h1, h2, h3, h4, h5 { font-weight: bold; }
 h1 { font-size: xx-large; }
 h2 { font-size: xx-large; }
 h3 { font-size: x-large; }
 h4 { font-size: large; }
 h5 { font-size: medium; }
 dt { font-weight: bold; }
 dfn { font-weight: bold; }
 code { font-family: monospace; }
 .figure { float: right; padding: 1em; padding-bottom: 0em;
 		border: 1pt solid black; margin-left: 1.5em; }
 .figureimg { text-align: center; }
 .abstract { width: 60%; text-align: center; }
 .algorithm { font-family: serif; background: #00E0E0; margin-left: 1cm;}
 span.red { color: red; background: white;}
 span.green { color: green; background: white; }