/* **********************
   * Apparence Générale *
   **********************/

html
{
  font-family: "Bitstream Vera Sans", Tahoma, Arial, Helvetica, sans-serif;
  background: #f1f1f1;
  }

#page
{
  width: 950px;
  border: 1px solid black;
  margin: 0 auto;  
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 1em;
  background: white;
  }

img 
{ 
  border: none;
  }

a:link 
{    
  color: #36598e;
  text-decoration: none;
  }

a:visited
{
  color: #36598e;
  text-decoration: none;
  }

a:hover
{ 
  text-decoration: underline;
  }

td 
{ 
  padding: 5px;
  border: 1px solid black;
  }

hr
{ 
  border: 0;
  width: 80%;
  color: #f00;
  background-color: black;
  height: 1px;
  }

h1 
{
  color: black;
  text-align: center;
  }

h2 
{ 
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 10px;
  margin-bottom: 10px;
  border: 1px solid #ccc;
  padding-top: 1px;
  padding-bottom: 1px;
  padding-right: 10px;
  padding-left: 10px;
  background: url("/images/background.png") repeat-y;
  font-size: 13pt;
  }

h2 > a:hover
{ 
  text-decoration: none;
  }

h3
{ 
  color: black;
  font-size: 13pt;
  }

dl.contents 
{
  margin-top: 0;
  }

dt.contents a:hover
{ 
  text-decoration: none;
  }

dt.contents 
{
  margin-bottom: 0;
  border-bottom: 1px solid black;
  border-left: 6px solid black;
  }

dt.contents:hover
{
  border-bottom: 1px solid #808080;
  border-left: 6px solid #808080;
  }

dd > dl.contents > dt.contents 
{ 
  border: 0;
  }

dt 
{
  font-weight: bold;
  padding: 3px;
  }

em 
{
  font-style: italic;
  }

li 
{
  margin-bottom: 5px;
  }

pre.example 
{
  margin-left: 5%;
  margin-bottom: 2.5em;
  }

pre.verse 
{
  font-family: inherit;
  line-height: 2em;
  margin-left: 5%;
  }

strong 
{
  font-weight: bold;
  }

ul 
{
  list-style-type: disc;
  }

input, textarea
{  
  border: 1px solid black;
  background-color: white;
  color: #333333;
  font-family: Geneva, Arial, Helvetica, sans-serif;
  font-size: 1em;
  -moz-border-radius: 4px;
  padding-left: 0.2em;
  }

input:hover, textarea:hover
{
  background: #f1f1f1;
  }

input:focus, textarea:focus
{  
  background-color: #ffeb79;
  }

fieldset
{ 
  border: 0;
  padding-bottom: 0px;
  }

exemple 
{ 
  background-color: red;
  white-space: pre;
  font-family: monospace;
  margin-left: 5%;
  }

pre
{ 
  border: 1px solid #808080;
  background-color: white;
  padding: 0.5em;
  margin-right: 1em;
  font-family: monospace;
  margin-left: 5%;
  white-space: pre;
  }

.nonexistent 
{ 
  background-color: white;
  font-weight: bold;
  }

/* **********
   * Header *
   ***********/

#header 
{ 
  margin: 0.5em -0.5em 0.5em -0.5em;
  padding-top: 0.5em;
  background-color: #a9c9ea;
  }

#header h1 a
{ 
  margin: 0;
  color: black;
  }

#header h1 a:visited
{ 
  margin: 0;
  color: black;
  }

#header h1 a:hover
{ 
  margin: 0;
  padding: 0;
  background-color: transparent;
  }

#header ul
{ 
  margin: 0;
  padding: 0;
  text-align: center;
  }

#header li
{ 
  display: inline;
  }

#header a 
{ 
  color: black;
  padding-left: 1em;
  padding-right: 1em;
  margin: 0px;
  text-decoration: none;
  color: #36598e;
  }

#header a:hover
{  
  color: black;
  -moz-border-radius: 10px;
  background-color: #f1f1f1;
  }

#header li > a
{ 
  border: 1px solid #808080;
  -moz-border-radius: 10px;
  }

#header li > a:hover
{ 
  border: 1px solid #808080;
  }

#header a:visited
{ 
  color: black;
  padding-left: 1em;
  padding-right: 1em;
  margin: 0px;
  text-decoration: none;
  color: #36598e;
  }

#header h1#top
{ 
  margin-top: 0.2em;
  border-top: 3px solid black;
  border-bottom: 3px solid black;
  background-color: #f1f1f1;
  }


/* ********
   * Main *
   ********/

div#main > div > h3 
{ 
  border-bottom: 1px solid black;
  margin-right: 0.7em;
  }

div#rightbox
{ 
  border: 1px dotted #6699cc;
  text-align: right;
 }

div#rightbox ul
{ 
  margin: 0;
  padding: 0;
 }

div#rightbox ul > li
{ 
  display: inline;
 }

div#rightbox li.current
{ 
  background-color: orange;
 }

/* **********
   * Footer *
   **********/

#footer 
{ 
  border-top: 3px solid black;
  margin: 0.5em -0.5em -0.5em -0.5em;
  padding-bottom: 0.1em;
  padding-top: 0.1em;
  background-color: #a9c9ea;
  text-align: center;
  }

#footer .footdate
{
  text-align: left;
  color: red;
  }


/* **************
   * Emacs-Wiki *
   **************/

/* --- Emacs Wiki src-tag --- */
.comment 
{
  /* font-lock-comment-face */
  color: #DEBC83;
  }

.doc 
{
  /* font-lock-doc-face */
  color: #F0A4A4;
  }

.constant 
{
  /* font-lock-constant-face */
  color: #D8ACDD;
  }

.function-name 
{
  /* font-lock-function-name-face */
  color: #96CEF8;
  }

.keyword 
{
  /* font-lock-keyword-face */
  color: #78f5e6;
  }

.preprocessor 
{
  /* font-lock-preprocessor-face */
  color: #96CEF8;
  }

.string 
{
  /* font-lock-string-face */
  color: #F0A4A4;
  }

.type 
{
  /* font-lock-type-face */
  color: #9BEEB8;
  }

.variable-name 
{
  /* font-lock-variable-name-face */
  color: #B5CF76;
  }

small
{
  font-size: 7pt;
}