body       	 {background-color: rgb(0,179,179);
		  display: absolute;
		  min-width: 740px;
                 }
img.center 	 {display: block;   
	   	  margin-left: auto;   
	   	  margin-right: auto;
		  padding-bottom: 1%;}
img.float  	 {float: right;
	   	  margin-left: 5%;
	   	  margin-right: 5%;}
#arch            {margin-left: 70px;
                  width: 500px;
		  height: 591px;
		 }
#histogram       {padding-left: 20px;}

p.float    	 {clear: left;
		  margin-right: 50%;
		 }
ul.float    	 {float: left;
		  margin-right: 50%;
		 }
hr               {clear: both;
		  margin-bottom: 10px;
		 }


td.large         {font-size: 32pt;}
code             {
                  display: block;
		  vertical-align: middle;
                  margin-left: -110px;
		  //padding-bottom: 150px;
		  white-space: pre;  // preserve CRs
		 }

div.left-inset  {text-align : left;
		 font-weight: bold;
	    	 float: left;
	    	 line-height: 1.2;
	    	 width: 40%;
	    	 margin-right: 5%;
	    	 margin-left: 1%;
		 margin-bottom: 5%;
                }
div.right-inset {text-align : left;
	    	 float: right;
	    	 line-height: 1.2;
	    	 width: 40%;
	    	 margin-right: 5%;
	    	 margin-left: 1%;
		 left-padding: 5px;
                 background: rgb(179,179,179);
                }
div.inset-txt   {max-width: 95%;
		 margin-left: 10px;
		 margin-right: 10px;
		 margin-bottom: 10px;
                 color: black;
                }
span.author     {font-style: italic;
		 font-size: 200%;}
span.def        {font-style: italic;}
span.descr      {font-weight: bold;
		 font-style: italic;}
h2              {text-align : left;
	    	 font-weight: bold;
		 font-size: 140%;}
ul              {margin-top: 0;
		 padding-top: 0;
		 margin-bottom: 0;
		 margin-bottom: 0;}