body
{
  margin-left: 2em;
  margin-right: 2em;
  border: 0px;
  padding: 0px;
  font-family: sans-serif;
}

pre
{
  padding: 1em;
  font-family: Monospace, Neep Alt, Courier New, Courier;
  font-size: 12pt;
  border: thin black solid;
}

.python
{
  background-color: #dddddd;
}

.py-listing, .html-listing, .listing
{
  margin: 1ex;
  border: thin solid black;
  background-color: #eee;
}

.py-listing pre, .html-listing pre, .listing pre
{
  margin: 0px;
  border: none;
  border-bottom: thin solid black;
}

.py-listing .python
{
  margin-top: 0;
  margin-bottom: 0;
  border: none;
  border-bottom: thin solid black;
}

.py-src-comment
{
  color: #1111CC
}

.py-src-keyword
{
  color: #3333CC;
  font-weight: bold;
}

.py-src-parameter
{
  color: #000066;
  font-weight: bold;
}

.py-src-identifier
{
  color: #CC0000
}

.py-src-string
{
  color: #115511
}

.py-src-endmarker
{
  display: block; /* IE hack; prevents following line from being sucked into the py-listing box. */
}

hr
{
  display: inline;
}

ul
{
  padding: 0px;
  margin: 0px;
  margin-left: 1em;
  padding-left: 1em;
  border-left: 1em;
}

li
{
  padding: 2px;
}

dt
{
  font-weight: bold;
  margin-left: 1ex;
}

dd
{
  margin-bottom: 1em;
}

div.note
{
  background-color: #FFFFCC;
  margin-top: 1ex;
  margin-left: 5%;
  margin-right: 5%;
  padding-top: 1ex;
  padding-left: 5%;
  padding-right: 5%;
  border: thin black solid;
}

.caption
{
  text-align: center;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

.filename
{
  font-style: italic;
}