body {
  background-color: white;
  background-image: url(backgrnd4.jpg);
  margin-left: 40;
  margin-right: 40
  }
div.header {text-align: center}
.title {
  font-weight: bold;
  font-size: 1.3em;
  margin-top: 0em;
  margin-bottom: 1em
  }
div.toc {margin-bottom:1em}
ul {list-style-type: disc}
div.section {margin-left: 40}
div.listing {
  margin-left: 40;
  margin-right: 100;
  margin-bottom: 20;
  margin-top: 0;
  padding: 10;
  border-style: groove;
  border-width: thin;
  background-color: #fff0cc
  }
p.heading {font-weight: bold;}
td {vertical-align: top}
td.label {
  font-weight: bold;
  text-align: right
  }
footer {font-size: 0.5em;
  font-weight: lighter
  }

@media print {
  body, div.listing {background-color: white}
  }