body { background-color: #f0f0ff; color: #000 } /* #cff?  #F0F0FF */
body { margin-left: 3%; margin-right: 3% }

/* div.box { border: solid; border-width: thin; width: 100%; padding: 0.2em } */

/* h1,h2,h3,h4,h5,p,ul { font-family: sans-serif } */
/* qv DSR at http://www.w3.org/MarkUp/Guide/Style */

img { border: none }
pre { font-family: monospace }

.footer { font-size: smaller ; clear: both }

.indent { margin-left: 2em }

.sc { font-variant: small-caps }

.shaded { background-color: #aac ; color: #000 ; /* #99c?  #AAC=170/170/204 */
	  margin-left: -1%; margin-right: -1%;
	  text-indent: 1%;
	  }
       
.smaller { font-size: smaller }

.w3c { float: right }