/* WikkiTikkiTavi default style sheet. */
/* $Id: wiki.css,v 1.13 2003/10/28 16:47:34 holroy Exp $ */
/*body
  { background-color: #f5f5f5;
    color:            #000000;
    margin-right:     3%;
    margin-left:      3%; }*/
body
  { background-color: #FFFFFF;
    color:            #000000;
    margin-right:     1%;
    margin-left:      1%; }
/*a:link
  { color:      #97694f;
    background: transparent; }*/
a:link
  { color:      #0000FF;
    background: transparent; }
/*a:visited
  { color:      #4e2f2f;
    background: transparent; }*/
a:visited
  { color:      #FF0000;
    background: transparent; }
a:active
  { color:      #008000;
    background: transparent; }
a.title
  { text-decoration: none; }
img
  { border: 0; }
div.logo
  { float: right; }
table.diff
  { width: 95%; }
td.diff-added
  { background-color: #cfffcf;
    color:            #000000; }
td.diff-removed
  { background-color: #ffffaf;
    color:            #000000; }
h1
  { margin-bottom: 0; }
textarea
  { width: 100%; }
dl, ul, ol
  { margin-top:    0px;
    margin-bottom: 0px; }
form
  { margin-top: 0px; }
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; }

div#header #logo
  { float: right; }
div#header hr
  { clear: both; }

/* 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; }
}


#navigation ul {
	list-style: none;
	margin: 0;
	padding: 0;
	}
	
#navigation li {
	background-image: url("../images/menu_a.gif") ;
        background-position: 100% 100%;
	border-left: 0px solid #999;
        margin: 0;
        padding: 0;
	width: 132px;
	}

#navigation a {
	height: 20px;
	color: #FFFFFF;
	padding: 4px 4px ;
	font-weight: bold;
	text-decoration: none;
	font-family: arial;
	font-size: 12pt;
	}


#navigation b {
	height: 22px;
        text-align: center ;
	color: #FFFFFF;
	font-weight: bold;
	text-decoration: none;
	text-shadow: black 5px 5px 5px;
	font-family: arial;
	font-size: 16pt;
	}

#navigation c {
	height: 12px;
        text-align: center ;
	color: #000462;
	font-weight: bold;
	text-decoration: none;
	font-family: arial;
	font-size: 5pt;
	}
	
#navigation a:hover {
	color: #0066ff;
	text-decoration: underline;
	}