body
{
  font-family:  Helvetica,Arial,sans-serif; 
}

h1
{
  border-bottom: 1px solid black;   
}

h2
{
  border-bottom: 1px solid black;
  font-weight: bold; 
}


ul { list-style-type: square; }

span.highlight { background-color: yellow;
                 font-weight:bold;
               }



a, a:visited {
  color: green;
  text-decoration: none;
}

a:hover {
  border-bottom: 2px dotted green;
  background-color: yellow;
}

#content {
  padding: 0.5em; 
}


/* fix: use javascript?? jquery to add .programlisting class
  to pre tags followed by code e.g. <pre><code> => <pre class='programlisting'><code>

   for now assume all pres are programlistings
*/ 
pre,
.programlisting
{
  padding: 4px 4px 4px 4px;
  border-top: #bbb 1px solid;
  border-bottom: #bbb 1px solid;
  background: #f3f3f3;
}


.editme
{
   display: inline-block;
   padding-left: 10px;
   padding-right: 10px;
   border: #bbb solid 1pt;
   background-color: #eeeeee;
   font-size: 80%;
}