body {background-color: #E8E8F4}

  p.indented {margin-left: 5mm}

  p.caption {text-align: center; font-style:italic}

  ul.none {list-style-type: none}

  pre.code {background-color: #FFF;
            width:80%;
            overflow:auto;
            padding: 5px}

/* The following is used with <span> in left margin of code listings */
  .notenumber {font-weight: bold;
               color: red}