/* screen.css */
/* cascading style sheet for on-screen viewing */

BODY	{ font-family: sans-serif; background-color: #BBEBBB; }	/* lite */
/* BODY	{ font-family: sans-serif; background-color: #DDFFFB; }	pro */

H1	{ font-family: serif; font-size: xx-large; }
H2	{ font-family: serif; font-size: x-large; }
H3	{ font-family: serif; font-size: large; }
H4	{ font-family: serif; font-size: medium; }
H5	{ font-family: serif; font-size: small; }
H6	{ font-family: serif; font-size: x-small; }

B	{ font-weight: 600 } /* slightly less than bold */
CODE	{ font-family: monospace; font-size: medium; }
PRE	{ font-family: monospace; font-size: small; background-color: #ddd; }

.indent	{ margin-left: 30px; }
.spaced { line-height: 200% }
.spa	{ margin-top: 0.5em; }
.navbar	{ text-align: center; font-size: small; }
.logo	{ border: none; height: 14; width: 16; }
.scrndate
	{ font-size: x-small; }
.updated{ text-align: right;  font-family: serif; font-size: x-small; }
.figure	{ text-align: left }