/* This is how comments are written in CSS files... */

/*

h2 {
  text-align: center;
  background-color: rgb(192, 192, 192);
  border: solid windowtext 0.5pt;
}

*/

h3 {
  text-align: center;
}

.centered {
  text-align: center;
}

.del {
  text-decoration: line-through;
}

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

table.main {
  text-align: left;
  width: 665;          /* value used to be 620 */
  border: solid windowtext 0.5pt;
}

td.head {
  font-size: 14pt;
  font-weight: bold;
  text-align: center;
  background-color: rgb(192, 192, 192);
}

td.large {
  font-size: 14pt;
  text-align: center;
}

span.hi-yellow {
  background-color: #FFFF00
}

span.hi-green {
  background-color: #33FF33
}

span.italics {
  font-style: italic;
}

div.section {
  margin: 2% 20% 1% 20%;
}

ul.outside {
  list-style-position: outside;
  margin-bottom: 0%;
  /*
  margin-left: 2em;  /* for Firefox 3.0.6 it is -5.5%; while equivalent for IE 7.0.5730.11 is "4.5%" !!! */
}