/*
    
    This file is part of Funiter,
    Real and complex function iteration software.

    Documentation source (css file).

    Copyright (C) 1995-2007 Stijn Wolters.
    Original idea: Ernic Kamerich (University of Nijmegen).
    
    See README for contact information.

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.
    
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    See COPYING for more information.
  
*/

Div.mainmenu { vertical-align: middle; }

body { 
    font-family: sans-serif; 
    font-size: 14px; 
    background: #FFFFFF; 
    color: #000000; 
}

Div.mainmenu a:hover, Div.inline-menu a:hover, Div.inline-pagenav a:hover,

Span.idx a:hover {
    background: #708090;
    color: #FFFFFF;
}

/*
**  General layout for the contents of the pages, including the position.
*/

h3 {
    padding: 1px;
    margin: 0em;
    margin-bottom: 10px;
    border: 1px;
    background: #406080;
    text-align: center;
    color: #FFFFFF;
}

Div.content {
    margin-left: 12em;
}

Div.content-spacer {
    clear: both;
}

/*
**  main menu 
*/

Div.mainmenu {
    float: left;
    width: 10em;
    clear: both;
    color: #000000;
    background: #EFEFEF;
    border: solid #9F9F9F 1px;
    font-size: 12px;
}
Div.mainmenu ul {
    padding: 0em;
}
Div.mainmenu li {
    list-style-type: none;
    margin-bottom: 1em;
    margin-left: 3px;
    margin-right: 3px;
    padding: 1px;
}

/*
**  inline menu
*/

Div.inline-menu {
    font-family: sans-serif;
    font-size: 14px;
    text-align: center;
    background: #EFEFEF;
}

Div.inline-menu a {
    vertical-align: top;
}

Div.inline-pagenav {
    padding: 0em;
    margin: 0em;
    padding-left: 3px;
    padding-bottom: 3px;
    border: 1px;
    background: #E5F5FA;
    font-size: 85%;
    color: #000000;
}

Div.inline-pagenav p {
    padding: 0em;
    margin: 0em;
}

/*
**  "Paragraphs"
*/

Div.block {
    padding: 0em;
    margin: 0em;
    border: 1px;
    margin-bottom: 10px;
    border: solid 1px #6080A0;
    background: #D0E0F0;
    color: #000000;
}
Div.block h4 {
    padding: 1px;
    margin: 0em;
    border: 1px;
    background: #6080A0;
    color: #FFFFFF;
}
Div.block p , Div.block h5 , Div.block h6 {
    padding-left: 6px;
    padding-right: 6px;
}


Div.block dl {
    padding: 0em;
    margin: 16px;
    padding: 8px;
    background: #EEEEFF;
    color: #000000;
    font-size: 12px;
}
Div.block dl>dt {
    color: #3080FF;
}
Div.block dl>dd {
    color: #000000;
}

Span.menuitem {
    color: #100040;
    font-size: 12px;
    font-style: italic;
}

Div.block code {
    font-size: 12px;
}

table.tablist {
    background: #DDDDEE;
    color: #000000;
    border: solid #000000 1px;
    font-size: 12px;
    margin-left: 16px;
    margin-right: 16px;
}

table.tablist td {
    background: #EEEEFF;
    padding: 3px 3px 3px 3px;
}

/*
**  Footer.
*/

Div.footer p {
    border: 1px;
    margin: 0em;
    background: #406080;
    color: #FFFFFF;
    font-size: 80%;
}

Div.footer a:link {
    color: #A0E0F0;
}

Div.footer a:visited {
    background: #406080;
    color: #F0C0F0;
}

Div.side-image {
    float: right;
    border: 1px;
}