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

.done { color: #005500; background-color: #99ff99 }
.notdone { color: #550000; background-color: #ff9999;}

pre
{
  padding: 1em;
  border: thin black solid;
  line-height: 1.2em;
}

.boxed
{
  padding: 1em;
  border: thin black solid;
}

.shell
{ 
  background-color: #ffffdd;
}

.python
{
  background-color: #dddddd;
}

.htmlsource
{
  background-color: #dddddd;
}

.py-prototype
{
  background-color: #ddddff;
}


.python-interpreter
{
  background-color: #ddddff;
}

.doit 
{
  border: thin blue dashed ;
  background-color: #0ef
}

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

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

.py-src-parameter
{
  color: #000066;
  font-weight: bold;
  line-height: 1.0em
}

.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. */
}

.py-linenumber
{
  background-color: #cdcdcd;
  float: left;
  margin-top: 0px;
  width: 4.0em
}

.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;
  }

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

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

.filename
{
  font-style: italic;
  }

.manhole-output
{
  color: blue;
}

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;
}
