div.org-src-container pre{
    color: #33ff33;
    background: #777777;
}
div.menu ul
{
  line-height: 1;
  font-size: small;
  float: left;
  border-left: 1px solid #ccffff;
  margin: 0.5em;
  margin-left: 2em;
  padding-left: 0em;
  padding-right: 1em;
}

div.menu ul~ul
{
  margin-top: 0em;
}

div.menu ul>li
{
  float: left;
  list-style: none;
  border-right: 1px solid #ccffff;
  padding: 0.1em 1em 0.1em 1em;
}

div.menu ul a
{
  text-decoration: none;
}

div.menu ul a:hover
{
  color: black;
}

/*
   General settings
 */
h2, h3, h4
{
  text-shadow: 2px 1px 3px #aaaaaa;
}

h2
{
  font-size: large;
  border-left: 15px solid darkblue;
  border-bottom: 2px solid #cccccc;
  margin: 0.5em 0em 0.5em 0em;
  padding-left: 0.5em;
}

h3
{
  font-size: medium;
  border-left: 5px solid darkblue;
  margin: 1em 0em 0.5em 0.5em;
  padding-left: 0.5em;
}

h4
{
  font-size: medium;
  border-left: 2px solid darkblue;
  margin: 1.5em 0em 0.5em 0.5em;
  padding-left: 0.5em;
}

a:link { color: #006688; }
a:visited { color: #000044; }
a:hover { background: #ccccff; color: black; }

ul, ol, dl
{
  margin-left: 1em;
  padding-left: 1em;
}

pre
{
  background: gainsboro;
  font-family: monospace;
  font-weight: normal;
  font-style: normal;
  white-space: pre;
  line-height: 1.1;
  margin-left: 1em;
  margin-right: 0em;
  padding: 0.5em;
}

img.topimage
{
  position: absolute;
  left : 20px;
  bottom : 20px;
}