div.title {
 color: white;
 filter: progid:DXImageTransform.Microsoft.gradient(startcolorstr=#ff0080ff, endcolorstr=#ffB0D8FF, gradienttype=0);
width: 50%;
}

h1 {
 font-style: italic;
 font-size: 200%;
 filter: shadow(color=gray,direction=150);
 margin-top: 10px;
 margin-left: 10px;
 padding: 0.1em;
}

pre.prog{color: black;
  background-color: #AAFFFF; /* aqua; */
  width: 96%;
  font-weight: bold;
 /* font-family: Consolas; */
  margin-left: 5pt;
  font-size: 12pt;
  padding: 5pt;
}