/* WikkiTikkiTavi default style sheet. */
/* $Id: wiki.css,v 1.13 2003/10/28 16:47:34 holroy Exp $ */
table.codephr
{   font: bold;
    font-size: 9px; }
body
  { background: #FFFFFF fixed;
    color:            #000000;
    margin: 0px;
    font: normal 10pt "MS Sans Serif"; }
div#main
  { background: #FFFFFF;
    color: #000000;
    margin: 0px;
    border: solid #000000;
    padding: 20px; }
div#header
  { background: #404040 fixed;
    height: 45px;
    border-bottom: solid #000000;
    padding: 10px; }
div#title
  { position: absolute;
    top: 30px;
    width: 500px;
    color: #FFFFFF;
    font: normal bold 180% arial;
    margin: 0px;  }
a.pagetitle
  { float: right; 
    clear: right;
    font: normal bold 100% arial;
    text-decoration: none;
    border: thin solid #000000;
    padding: 2px 10px 2px 10px; }
img.logo
  { float: right; }
div.menuBar
  { color: #FFFFFF;
    background-color: black;
    text-align: center;
    padding: 4px 2px 4px 2px;
    border: solid #000000; }


a.menuButton:hover
  { background-color: #404040; }
a.menuButton:link
  { color: #FFFFFF; 
    padding: 2px 10px 2px 10px;
    text-decoration: none;
    border: solid 1px #FFFFFF;
    margin: 1px 5px 1px 5px;
    font: normal bold 100% arial; }
a.menuButton:visited
  { color: #FFFFFF;
    padding: 2px 10px 2px 10px;
    text-decoration: none;
    border: solid 1px #FFFFFF;
    margin: 1px 5px 1px 5px; 
    font: normal bold 100% arial; }
a.menuButton:active
  { color: #FFFFFF;
    margin: 1px 5px 1px 5px; 
    font: normal bold 100% arial; }

a.menuButtonSpecial:hover
  { background-color: #404040; }
a.menuButtonSpecial:link
  { color: #FFFFFF; 
    background-color: #404040;
    padding: 2px 10px 2px 10px;
    text-decoration: none;
    border: solid 1px #FFFFFF;
    margin: 1px 5px 1px 5px;
    font: normal bold 100% arial; }
a.menuButtonSpecial:visited
  { color: #FFFFFF;
    background-color:  #404040;
    padding: 2px 10px 2px 10px;
    text-decoration: none;
    border: solid 1px #FFFFFF;
    margin: 1px 5px 1px 5px; 
    font: normal bold 100% arial; }
a.menuButtonSpecial:active
  { color: #FFFFFF;
    margin: 1px 5px 1px 5px; 
    font: normal bold 100% arial; }
a:link
  { color:      blue; }
a:visited
  { color:      blue; }
a:active
  { color:      blue; }
a.title
  { text-decoration: arial; } 
a:hover
  { background-color: lightblue; }
img
  { border: 0; }
table.diff
  { width: 90%; }
td.diff-added
  { background-color: #cfffcf;
    color:            #000000; }
td.diff-removed
  { background-color: #ffffaf;
    color:            #000000; }
h1
  { margin: 0;
    font-size: 185%;
    font-weight: bold; }
h2
  { margin: 0;
    font-size: 135%;
    font-weight: bold; }

dl, ul, ol
  { margin-top:    0px;
    margin-bottom: 0px; }
form
  { margin-top: 0px; 
    background-color: transparent;
    color: Black; }
fieldset, textarea, input
  { border: solid 1px darkblue;
    background: transparent;
    color: black; 
    padding: 0.1em; }
p.warning
  { color:      #ff3f3f;
    background: transparent; }
span.twin
  { font-size: smaller; }
tt
  { background: transparent;
    color:      #383838; }
pre
  { background: transparent;
    color:      #383838; }

/* Used together with TitleSearch */
ul.oneline
  { list-style-type: none;
    display: inline;
    margin-left: 0em; }
ul.oneline li
  { display: inline; }
ul.prelist
  { list-style-type: none;
    font-family: monospace; }


/* Some php-syntax highlighting defaults */
pre.phpsource { border-width: 1px; border-style: solid;  border-color: #000000; 
                background-color: #d5d5d5; 
                padding: 0.3em;  } 

.phpsource span.html    { color: #000000; }
.phpsource span.default { color: #0000CC; }
.phpsource span.keyword { color: #11cc11; }
.phpsource span.string  { color: #CC0000; }
.phpsource span.comment { color: #FF9900; }

@media print {
 body                       { background-color: #ffffff; color: #000000; }
 div#header #toolbar-top    { display: none; }
 div#footer #toolbar-bottom { display: none; }
 div#footer form            { display: none; }
}