body {
   background: #ffffd0;
}

/*
ul {
   border: 1px solid #000000;
   border-right-width: 2px;
   border-bottom-width: 2px;
   margin-left: 10px;
   margin-right: 10px;
   background: #c0ffc0;
}
*/

pre {
   border: 1px solid #000000;
   border-right-width: 2px;
   border-bottom-width: 2px;
   margin-left: 10px;
   margin-right: 10px;
/*   background: #ffc0ff; */
   background: #ffffff;
   padding: 5px;
}

code {
   font-weight: bold;
}

div.mainhead {
   text-align: center;
}

div.mainhead h1 {
   margin-top: 0;
   margin-bottom: 0;
}