/*============================================================================*/
/* Copyright (c) by Denys Duchier, Université d'Orléans, 2007                 */
/*                                                                            */
/* This file is part of WEBC.                                                 */
/*                                                                            */
/* WEBC 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 3 of the License, or (at your option) any later */
/* version.                                                                   */
/*                                                                            */
/* WEBC 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 WEBC.  If not, see <http://www.gnu.org/licenses/>.                    */
/*============================================================================*/

@import "html4css1.css";

/*----------------------------------------------------------------------------*/
/* BODY                                                                       */
/*----------------------------------------------------------------------------*/

body
{
  padding         : 0px;
  margin          : 0px;
  border          : none;
  font-family     : "Trebuchet MS", Verdana, Arial, sans-serif;
  background-color: #ffffff;
}

/*----------------------------------------------------------------------------*/
/* HEADER                                                                     */
/*----------------------------------------------------------------------------*/

div.header
{
  margin          : 0px;
  padding         : 0px;
  border          : none;
}

hr.header
{
  display         : none;
}

div.header img.lang
{
  float           : right;
  padding         : 5px;
}

div.header span.booktitle
{
  float           : left;
}

/*----------------------------------------------------------------------------*/
/* HEADER/TOP                                                                 */
/*----------------------------------------------------------------------------*/

div.header div.top
{
  background-color: #778899;
}

div.header div.top h1
{
  text-align      : center;
  margin          : 0px;
  padding-top     : 0.3em;
  padding-bottom  : 0.3em;
  border          : none;
  color           : white;
}

/*----------------------------------------------------------------------------*/
/* HEADER/BOTTOM                                                              */
/*----------------------------------------------------------------------------*/

div.header div.bottom
{
  background-color: #778899; /*#FFD122;*/
  border-bottom   : 0.2em solid #778899;
}

div.header div.bottom ul.menu
{
  text-align      : right;
  border          : none;
  bottom          : 0px;
  padding         : 0px;
  margin          : 0px;
}

div.header div.bottom ul.menu li
{
  display         : inline;
  list-style      : none;
  padding-left    : 1em;
  padding-right   : 1em;
  padding-top     : 0px;
/*  padding-bottom  : 0.2em; */
  margin          : 0px;
  border-left     : 1px solid black;
  border-bottom   : 0.2em solid #FFD122;
  background-color: #FFD122;
}

div.header div.bottom ul.menu li:hover
{
  border-bottom   : 0.2em solid darkorange;
}

div.header div.bottom ul.menu li a
{
  color           : black;
}

/*----------------------------------------------------------------------------*/
/* HEADER/BOTTOM                                                              */
/*----------------------------------------------------------------------------*/

div.header div.subbottom
{
  background-color: #CE2B00;
}

div.header div.subbottom ul.submenu li
{
  display         : inline;
  list-style      : none;
  padding-left    : 1em;
  padding-right   : 1em;
  margin          : 0px;
/*  border-bottom   : 0.2em solid #CE2B00; */
/*  border-left     : 1px solid black; */
}

div.header div.subbottom ul.submenu
{
  background-color: #CE2B00;
  text-align      : right;
  border          : none;
/*  border-top : 1px solid white; */
/*  border-bottom   : 0.2em solid #CE2B00; */
/*  bottom          : 0px; */
  padding         : 0px;
  margin          : 0px;
}

div.header div.subbottom ul.submenu li a
{
  color           : white;
}

/*
#B42500 dark
#CE2B00 lighter
*/

/*----------------------------------------------------------------------------*/
/* FOOTER                                                                     */
/*----------------------------------------------------------------------------*/

div.footer
{
  border          : none;
  border-top      : 1px solid grey;
}

hr.footer
{
  display         : none;
}

div.footer span.lastmod
{
  float           : right;
  padding-right   : 1em;
  font-size       : xx-small;
}

/*----------------------------------------------------------------------------*/
/* DOCUMENT                                                                   */
/*----------------------------------------------------------------------------*/

div.document
{
  margin-left     :  2cm;
  margin-right    : 2cm;
}

div.document h1
{
  color           : #445566;/* #778899; steelblue;*/
  border-bottom   : 1pt dashed #778899 /*steelblue*/;
  font-size       : x-large;
}

div.document h1.title
{
  border          : none;
}

a
{
  color           : #445566;
}

a:hover
{
  color           : #334455;
}

dl.bf dt
{
  font-weight     : bold;
  color           : #445566;
}

div.document h2
{
  color           : #445566;/* #778899; steelblue;*/
  border-bottom   : 1pt dashed #778899 /*steelblue*/;
  font-size       : large;
  text-align      : left;
}

/*----------------------------------------------------------------------------*/
/* CODE                                                                       */
/*----------------------------------------------------------------------------*/

.code
{
  font-family     : "Andale Mono", monospace;
  color           : #000000;
  background-color: inherit;
}

.code span.comment      { color: #B22222; }
.code span.keyword      { color: #A020F0; font-weight: bold; }
.code span.string       { color: #BC8F8F; }
.code span.function     { color: #0000FF; }
.code span.type         { color: #228B22; }
.code span.variable     { color: #B8860B; }
.code span.reference    { color: #5F9EA0; }
.code span.builtin      { color: #DA70D6; }

/*----------------------------------------------------------------------------*/
/* BIBLIOGRAPHY                                                               */
/*----------------------------------------------------------------------------*/

ol.biblio li + li
{
  margin-top      : 1em;
}

ol.biblio a.bibtitle
{
  font-weight     : bold;
}

ol.biblio li span.biblinks
{
  float           : right;
}

span.biblinks
{
  font-size       : x-small;
}

span.bibnote
{
  font-size       : small;
}

/*----------------------------------------------------------------------------*/
/* MISC CLASSES                                                               */
/*----------------------------------------------------------------------------*/

.flushright
{
  text-align      : right;
}

.center
{
  text-align      : center;
}

.code.framed
{
  border          : 1px solid black;
  padding-left    : 1em;
  padding-right   : 1em;
  padding-top     : 1ex;
  padding-bottom  : 1ex;
  background-color: #eeeeee;
}