body { background-color: white }
pre { background-color: #C0C0C0;
      padding-left: 12pt; padding-top: 6pt; padding-bottom: 6pt
}