* { color: #000000 }

body{
  font-size:0.9em;
  font-family: tahoma, arial, sans-serif;
  background: #FFFFF9;
  margin: 15px 10% 15px 10%;
  min-width:802px;
}
/*
 headline definition if you use a picture:
----------------------------------------------

#headline {
  background: #FFFFDB;
  text-align: center;
  height: 70px;
  margin: 0px;
  padding: 0px;
  border-bottom: 1px;
}
#headline img {
  text-align: right;
  float: right;
  margin: 0px;
  padding: 0px
  overflow:hidden;
}
#headline img a:hover {
  background-color: transparent;
}
*/
/*
----------------------------------------------
*/

/*
 headline definition with text only:
*/ 
#headline {
  background: #FFFFDB;
  font-size: 30px;
  margin: 0px;
  padding: 0px;
  border-bottom: 1px;
}
#headline a {
  text-decoration:none;
  color: white;
}
#headline a:hover {
  background-color: transparent;
}
/*
----------------------------------------------
*/

#back_links {
  font-size:0.8em;
}

#the_menu {
  background: #FFFFDB;
  border: 1px solid #B1B08B;
  float: right;
  padding: 15px;
  margin: 10px;
  }


#the_menu a {
  color: #007646;
}
#the_menu a:hover {
  background-color: #007646;
  color: white;
}
#the_menu li {
  color: #007646;
}
#the_menu img {
  text-align: center;
}

#main_menu {
  font-size:0.9em;
}
#float_img {
  float:right;
}
#searching input, #searching button {
  font-size: 0.85em;
  border: 1px solid #444;
  padding: 1px;
}

#main_content {
  min-height:400px;
  background: #FFFFE5;
  padding: 5px;
  border: 1px solid black;
}

a:hover, a .current {
  background-color: #007646;
  color: white;
}

img {
  border: none;
}

pre {
  border:1px solid grey;
  background-color: white;
}

#footer {
  font-size:0.75em;
  border: 1px solid black;
  padding: 5px;
  text-align: center;
}

/* ---------------------------------------------------------------------- */
textarea {
  width: 100%;
}
.back_links, #permalink {
  font-size: 0.8em;
}
#permalink {
  text-align: right;
  padding: 10px;
}
/* ----------------------------------------------------------------------
   Pygments syntax highlighter
---------------------------------------------------------------------- */
.pygments_code, .pygments_code table, .pygments_code .code, .pygments_code pre {
  background: #ffffff;
  padding: 0;
  margin: 0;
}
.pygments_code pre {
 border: 1px;
}
.pygments_code .code {
  width: 100%;
}
.pygments  { background: #ffffff; }
.pygments .c { color: #808080 } /* Comment */
.pygments .err { color: #F00000; background-color: #F0A0A0 } /* Error */
.pygments .k { color: #008000; font-weight: bold } /* Keyword */
.pygments .o { color: #303030 } /* Operator */
.pygments .cm { color: #808080 } /* Comment.Multiline */
.pygments .cp { color: #507090 } /* Comment.Preproc */
.pygments .c1 { color: #808080 } /* Comment.Single */
.pygments .cs { color: #cc0000; font-weight: bold } /* Comment.Special */
.pygments .gd { color: #A00000 } /* Generic.Deleted */
.pygments .ge { font-style: italic } /* Generic.Emph */
.pygments .gr { color: #FF0000 } /* Generic.Error */
.pygments .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.pygments .gi { color: #00A000 } /* Generic.Inserted */
.pygments .go { color: #808080 } /* Generic.Output */
.pygments .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.pygments .gs { font-weight: bold } /* Generic.Strong */
.pygments .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.pygments .gt { color: #0040D0 } /* Generic.Traceback */
.pygments .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.pygments .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.pygments .kp { color: #003080; font-weight: bold } /* Keyword.Pseudo */
.pygments .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.pygments .kt { color: #303090; font-weight: bold } /* Keyword.Type */
.pygments .m { color: #6000E0; font-weight: bold } /* Literal.Number */
.pygments .s { background-color: #fff0f0 } /* Literal.String */
.pygments .na { color: #0000C0 } /* Name.Attribute */
.pygments .nb { color: #007020 } /* Name.Builtin */
.pygments .nc { color: #B00060; font-weight: bold } /* Name.Class */
.pygments .no { color: #003060; font-weight: bold } /* Name.Constant */
.pygments .nd { color: #505050; font-weight: bold } /* Name.Decorator */
.pygments .ni { color: #800000; font-weight: bold } /* Name.Entity */
.pygments .ne { color: #F00000; font-weight: bold } /* Name.Exception */
.pygments .nf { color: #0060B0; font-weight: bold } /* Name.Function */
.pygments .nl { color: #907000; font-weight: bold } /* Name.Label */
.pygments .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.pygments .nt { color: #007000 } /* Name.Tag */
.pygments .nv { color: #906030 } /* Name.Variable */
.pygments .ow { color: #000000; font-weight: bold } /* Operator.Word */
.pygments .w { color: #bbbbbb } /* Text.Whitespace */
.pygments .mf { color: #6000E0; font-weight: bold } /* Literal.Number.Float */
.pygments .mh { color: #005080; font-weight: bold } /* Literal.Number.Hex */
.pygments .mi { color: #0000D0; font-weight: bold } /* Literal.Number.Integer */
.pygments .mo { color: #4000E0; font-weight: bold } /* Literal.Number.Oct */
.pygments .sb { background-color: #fff0f0 } /* Literal.String.Backtick */
.pygments .sc { color: #0040D0 } /* Literal.String.Char */
.pygments .sd { color: #D04020 } /* Literal.String.Doc */
.pygments .s2 { background-color: #fff0f0 } /* Literal.String.Double */
.pygments .se { color: #606060; font-weight: bold; background-color: #fff0f0 } /* Literal.String.Escape */
.pygments .sh { background-color: #fff0f0 } /* Literal.String.Heredoc */
.pygments .si { background-color: #e0e0e0 } /* Literal.String.Interpol */
.pygments .sx { color: #D02000; background-color: #fff0f0 } /* Literal.String.Other */
.pygments .sr { color: #000000; background-color: #fff0ff } /* Literal.String.Regex */
.pygments .s1 { background-color: #fff0f0 } /* Literal.String.Single */
.pygments .ss { color: #A06000 } /* Literal.String.Symbol */
.pygments .bp { color: #007020 } /* Name.Builtin.Pseudo */
.pygments .vc { color: #306090 } /* Name.Variable.Class */
.pygments .vg { color: #d07000; font-weight: bold } /* Name.Variable.Global */
.pygments .vi { color: #3030B0 } /* Name.Variable.Instance */
.pygments .il { color: #0000D0; font-weight: bold } /* Literal.Number.Integer.Long */