/*  screen.css - MoinMoin Default Styles

Copyright (c) 2001, 2002, 2003 by Juergen Hermann
*/

/* content styles */

/* debug 
* {border: 1px dotted blue;}
*/

body, html {
    padding: 0;
    border: 0;
}

a:link { text-decoration: none; }
a:link:hover, a:link:active { text-decoration: underline; color: green; }
a:visited { text-decoration: none; color: blue; }
a:visited:hover { text-decoration: none; color: red; }

input {
    /* does strange effect to button (text size becomes bigger when clicking)
    font-size: 1em;
    font-family: Arial, Lucida Grande, sans-serif;
    */
}

textarea {
    font-size: 1em;
    font-family: monospace;
}

div.figure-l {
    clear: left; float:left; margin-right:20px;
    margin-top:0px; margin-bottom:10px;
}

div.figure-l-240 {
    clear: left; float:left; width:240px; margin-right:20px;
    margin-top:0px; margin-bottom:10px;
}

div.figure-l-320 {
    clear: left; float:left; width:320px; margin-right:20px;
    margin-top:0px; margin-bottom:10px;
}

div.figure-r {
    clear: right; float:right; margin-left:20px;
    margin-top:0px; margin-bottom:10px;
}

div.figure-r-240 {
    clear: right; float:right; width:240px; margin-left:20px;
    margin-top:0px; margin-bottom:10px;
}

div.figure-r-320 {
    clear: right; float:right; width:320px; margin-left:20px;
    margin-top:0px; margin-bottom:10px;
}

.disabled {
    /* IE ignore disabled attribute, but at least show items in gray */
    color: gray;
}

/* user interface styles */

#header {
    margin: 0px;
    padding: 0px;
    /* background: #3D4551; */
    background: #f7f7f7;
    line-height: 1.1em;
    border:none;
}

#logo {
    float: left;
    margin: 5px 10px;
    padding: 0;
    /* For text only logo */
    font-size: 1.4em;
    line-height: 1em;
    font-weight: bold;
}

*[dir="rtl"] #logo {
    float: right;
}

#logo img {
    vertical-align: middle;
}

#logo a {
    color: black;
    text-decoration: none;
}

#searchform {
    float: right;
    margin: 5px 10px;
    padding: 0;
    white-space: nowrap;
    font-size: 0.82em;
}

*[dir="rtl"] #searchform {
    float: left;
}

#searchform form div {
    display: inline;
}

#nav {
    padding:5px 20px;
    background:#eee;
}
#nav ul {
    margin:0;
    padding:0;
    list-style:none;
}
#nav li {
    display:inline;
    margin:0;
    padding:10px 20px 10px 0px;
}

#navibar {
    clear: both;  /* problem: clear: right; aligns nicely right of logo,
                    but lets it float high in the header, disconnected from ground */
    display: block;
    margin: 0;
    padding: 0 10px;
    font-size: 0.82em;
    zoom: 1; /* for avoiding a gap between navibar and pageline on IE */
}

#navibar li {
    float: left;
    display: inline;
    margin: 0 2px;
    padding: 2px 5px;
    border: 1px solid #9C9C9C;
    border-bottom: none;
    white-space: nowrap;
}

*[dir="rtl"] #navibar li {
    float: right;
}

#navibar li.wikilink {
    background: white; /*url(../img/tab-wiki.png) repeat-x;*/
}

#navibar li.userlink {
    background: #E6EAF0; /*url(../img/tab-user.png) repeat-x;*/
}

#navibar a, #navibar a:visited {
    color: black;
    text-decoration: none;    
}

#navibar li.current a {
    font-weight: bold;
}

#navibar li:hover {
    background: #CCCCCC;
}

#navibar li.current, #navibar li.current:hover {
    background: #81BBF2; /* url(../img/tab-selected.png) repeat-x; */
}

#pageline {
    clear: both;
    margin: 0;
    padding: 0;
    width: 100%;
    /* sync these values, line-height is needed for IE */
        height: 14px;
        line-height: 14px;
    border-bottom: 1px solid #9C9C9C;
    /*background: #81BBF2;*/
    background: #2233aa;
}

#page {
    background-color: white;
    margin: 0;
    padding: 2px 20px 20px 20px;
}

#footer {
    clear: both;
    margin: 0;
    padding: 0;
}

#credits, #version, #timings{
    margin: 5px 10px;
    padding: 0;
    text-align: center;
    font-size: 0.88em;
    color: #6C7680;
}

#credits li, #timings li {
    display: inline;
    padding: 0 2px;
    margin: 0 4px;
}

#credits img {
    vertical-align: middle;
}

table.navigation {
    float: right;
    margin: 2px;
}