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;
  font-family: Neep Alt, Courier New, Courier;
  font-size: 12pt;
  border: thin black solid;
}

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

.shell
{ 
  background-color: #ffffdd;
}

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

hr
{
  display: block;
}

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