div  		{width:		23em;
			 margin-left: 	2em;
			 margin-right:	2em;}

	div.wide	{width:		26em;
			 margin-left: 	2em;
			 margin-right:	2em;}

	P  		{margin-top:	.3em;
			 margin-bottom: .3em}

	P.small	 	{margin-top:	.3em;
			 margin-bottom: .3em;
			 font-size: 	.75em;
			 color:         #0000EF}

	pre		{color:         #000000}
	pre.r		{color:         #EF0000}
	pre.g		{color:         #009F00}
	pre.b		{color:         #0000EF}


	P.sm	 	{margin-top:	.3em;
			 margin-bottom: .3em;
			 font-size: 	.75em}

	P.blk	 	{margin-top:	 .5em;
			 margin-bottom:  .5em;
			 margin-left:	 2em;
			 margin-right:   2em}

	ol 		{font-size:	.75em}

	ul 		{font-size:	.75em}

	body		{Background: 	#CDC0B0}