body
    { background-color: white;
      color: black;
      width: 90%; 
      margin-left: 5%; 
      font-family: bitstream vera sans, verdana, geneva, helvetica, sans-serif; 
      text-align: left; 
    }

address 
   { font-size: small;
     font-style: normal;
   }

pre 
   { border: dashed thin black;
     font-family: bitstream vera sans mono, andale mono, monospace;
     background-color: #d3d3d3; 
     padding: 1ex; 
   }

code 
   { font-family: bitstream vera sans mono, andale mono, monospace;
   }

img
   { border: 0;
   }

.orangeline
    { border-top: solid #F7A30A 1px;
      width: 100%;
    }

.lastmodified 
  { float: right;
    text-align: right;
    width: 49%;
  }


table.bordered 
  {
    border-collapse: collapse; 
    border: solid; 
    border-width: thin;
  }
table.bordered th, table.bordered td 
  {
    border: solid;
    border-width: thin;
  }
table.bordered td.ps  
  {
    text-align: left;
    border-right: none;
    margin-right: 0px;
    padding-left: 1em;
    padding-right: 0px;
  }
table.bordered td.end 
  {
    text-align: right;
    border-left: none;
    margin-left: 0px;
    padding-left: 0px;
    padding-right: 1em;
  }

tr.noteaching
  { background-color: silver;
  }

td { vertical-align: top; }