/* default.css: */

/* ------ coloring attributes: ------ */

	body {
		color: #000;
		background: #fff;
		}

	pre {
		color: #000;
		}

	a {
		color: #336;
		}

	.logobar1 ,
	.logobar2 {
		background:#fff;
		border-color:#000;
		}

	.bodybar1 {
		background:#fff;
		border-color:#fff;
		}

	.article {
		border-top:1px solid #000;
		}

	/* *** Don't print these. */

	.nonprint ,
	.noprint ,
	.noprinter {
		display: none;
		}