#bodywide { width: 95ex;
	    float: left;
	    margin-left: 25px;
	  }
.prog {font-family: courier;
       font-size: 16px;
       color: #000;
      }
a.software { font-weight: bold;
	     color: #4f148c;
	     text-decoration: none;
	   }

code { color: #000; 
       background: #ddd;
       font-family: courier;
       font-size: 13px;
       padding: 2px 2px;
     }
pre { color: #000; 
      font-family: courier;
      background: #ddd;
      padding: 4px 4px;
      margin-left: 8px;
      font-size: 13px;
    }
h2 { text-transform: none; 
   }
h4 { text-transform: uppercase; 
     margin-top: 16px;
   }
h6 { margin-top: 10px;
     margin-bottom: 3px;
   }
ul { margin-top: 4px; 
     margin-bottom: 4px;
   }
ol { margin-top: 4px; 
     margin-bottom: 4px;
   }