body
{
  font: 12px/1.2 Verdana, Arial, Helvetica, sans-serif;
  background: #ddd;
  padding: 0px;
  margin: 0px;
}

a
{
  text-decoration: underline;
  font-weight: bold;
  color: #c00;
}

.currentPage
{
  font-weight: normal;
  color: #000;
}

pre
{
  font-size: 11px;
  color: blue;
}

.greek
{
  color: #999;
}

ol
{
  margin-right: 40px;
}

li
{
  margin-bottom: 10px;
}

body
{
  margin: 20px 20px 0px 20px;
}

p,h1,pre
{
  margin: 0px 10px 10px 10px;
}

h1
{
  font-size: 14px;
  padding-top: 10px;
}

.code
{
  font-family: Courier New, monospace;
  font-size: 12px;
  margin: 0px 40px 10px 30px;
  padding: 5px 5px 5px 5px;
  background: #def;
}

.imageL
{
  float: left;
}

#content
{
  border: 1px solid #000;
  background: #fff;
  height: 100%; /* does not work in Firefox */
}

#content #nav
{
  border-left: 1px solid #000;
  border-bottom: 1px solid #000;
  border-right: 1px solid #000;
  float: right;
  width: 216px;
  background: #eee;
  margin: 0px -1px -1px 10px;
}

#nav p
{
  font-size: 12px;
}

#banner
{
  background: #bdf;
  height: 40px;
  border-top: 1px solid #000;
  border-right: 1px solid #000;
  border-left: 1px solid #000;
}

#banner h1
{
  font-size: 16px;
  padding: 10px 10px 0px 10px;
  margin: 0px;
}

#content #start
{
}

#content .entry
{
  clear: left;
  margin-bottom: 10px;
}

#content .notes
{
  margin-bottom: 10px;
  text-align: center;
}

#content #end
{
  clear: both;
}

#copyright
{
  clear: both;
  color: #999;
  font-size: 10px;
  padding-top: 4px;
  padding-bottom: 4px;
  text-align: center;
}

@media (max-width: 800px)
{
  body
  {
    margin: 0px 0px 0px 0px;
  }
}