h1  { background-color: #dddddd;
     border-bottom: black solid 1px; }
h4  {margin-left: 2em; margin-bottom: 0.0em;}
table,p   {margin-left: 2em; }
ol, ul    {margin-left: 3em; }
li pre    {margin-top: 0.2em; margin-bottom: 0.2em; color: green;}
table     {border: black 2px dashed; }
th,td     {border: solid 1px gray; }
li        {margin-top: 0.2em; }
div.footer {font-size: 75%; 
            color: gray; 
	    }
body   {margin-left: 4em; margin-right: 4em;}