r/* url : http://fr.selfhtml.org/navigation/css.htm */
body { 
    font-family: Verdana, Arial, Helvetica, Lucida, sans-serif;
    font-size: 90%;

    margin: 0; 
    padding: 0; 
    color: #00F800; 

    background: #FFFFF8;
    padding:  0 0 0 0;
    margin:   0 0 0 0;
}
body:first-child {
  padding-top: 0px;
  margin-top: 0px;
}
table {
    font: inherit;    /*IMPORTANT pour les cellules #menu et #main */
    color: inherit;
}
a {
    color: #D00;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
hr {
    color: blue;
    background-color: blue;
    height: 1px;
    border: 0;
    /* margin: 1.0em 0px 1.0em 0px; */
    margin: 0em 0px 0em 0px;
}
img {
    border: 0;
}


/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
#header {
    position: relative;
    clear: both;
    padding: 0ex 0ex 0ex 0ex;
    margin: 0ex 0ex 0ex 0ex;
    background-color: #FFF0FF;

    background: transparent;
    border: solid 0px #40A040;
    border-bottom-width: 3px;
}
#header h1 {
    font-family: Verdana, Arial, Helvetica, Lucida, sans-serif;
    font-size: 160%;
    text-align: center;
    font-style: italic;
    color: #40A040;
    background-color: transparent;
    padding: 0ex 0ex 0ex 0ex;
    margin: 0ex 0ex 0ex 0ex;
}
#header h2 {
    font-family: Verdana, Arial, Helvetica, Lucida, sans-serif;
    font-size: 120%;
    font-style: italic;
    text-align: center;
    color: #40A040;
    background: transparent; 
    padding: 0ex 0ex 0ex 0ex;
    margin: 1.0ex 0ex 0ex 0ex;
}
#header td {
    text-align: center;
    vertical-align: middle;
    padding: 0em;
}
/* initiale : mise en valeur le l'initiale de titre e.g U--- M--- A--- */
#header .initiale {
    color: #D80;
    font-size: larger;
}
/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
#footer {
    position: relative;
    clear: both;
    
    color: black;
    font-size: 80%;
    background: transparent;
    padding: 0.5ex 0ex 0ex 0ex;
    margin: 0ex 0ex 0ex 0ex;
    
    border: solid 0px #40A040;
    border-top-width: 3px;
}
/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
#menu {
    position: relative;
    vertical-align: top;
    /* la largeur pour une cellule est mal prise en compte. 
      Je préfère utiliser une div de hauteur nul dans le texte du menu
    width: 25ex;
    min-width: 25ex;
    */
    padding: 0ex 0ex 0ex 0ex;
    margin: 0ex 0ex 0ex 0ex;
    color: #00F;
    font-size: 95%; 
    background: #FFFFF4;
    background: transparent;
}
#menu h2 {
    font-weight: bold;
    font-size: 110%;
    color: #40A040;

    padding:  0ex  0 0 0;
    margin: 1ex 0ex 1ex 0ex;

    background: transparent;
    border: solid 0px #40A040;
    border-top-width: 1px;
}
#menu ul {
    margin: 0 0 0em 0;
    padding: 0em;
}
#menu li {
    margin: 0 0 0 1em;
    /* list-style-type:square; */
    list-style-type:none;
}
#menu  li a {
    color: #D00;
    text-decoration: none;
}
#menu  li a:hover {
    text-decoration: underline;
}

#menu li li {
    margin: 0 0 0 1.5em;
    font-size: 80%;
    /* list-style-type:square; */
    /* list-style-type: circle; */
}
#menu  li li a {
    color: #A44;
}

/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
/*
    le bloc #main devrait utiliser les styles standard
*/

#main {
    color: #000080;
    background: #FAFFFF;
    vertical-align: top;
    
    border: solid 0px #40A040;
    border-left-width: 2px;

    padding: 0ex 15px 0ex 15px;
    margin: 0ex 0ex 0ex 0ex;
    font-size: 100%; /*  FONCTIONNE !!! */

}
#main h1 {
    font-style: italic;
    font-weight:bold;
    font-size: 170%;
    text-align: center;
    color: #40A040;
    background: transparent;
    padding: 0 0 0 0;
    margin: 1ex 0  0  -15px;
}

#main h2 {
    font-style: italic;
    font-weight:bold;
    font-size:130%;
    
    padding: 0.3ex 0.7ex;
    margin:   1ex 0 1ex 0;

    color: #0000F0;
    background: transparent;
    border: solid 0px #0000F0;
    border-top-width: 1px;
        
    color: #0000F0;
    background: #EEEEFF;
    border: solid 1px #0000F0;
    
}

#main h3 { 
    font-style: italic;
    font-weight:bold;
    font-size:120%;
    color: #0080F0;
    padding: 0;
    margin: 1ex 0 1ex 0;
}
#main h4 { 
    font-style: italic;
    font-weight:normal;
    font-size:100%;
    color: #0000F0;
    color: #0080F0;
    padding: 0;
    margin: 1ex 0 1ex 0;
}
#main h2 a {
    color: inherit;
}
#main h3 a {
    color: inherit;
}
#main h4 a {
    color: inherit;
}
#main pre {
    font-family:  andale mono, Courier New, monospace;
    font-size: 100%;
    color: #0000C0;
    background: #FFFFFA;
    border: 1px dashed #00C000;
    
    /* normal | pre | nowrap | inherit */
    white-space: pre;
}
#main pre.resultat {
    font-size: 90%;
    margin: 0 3em 0 3em;
    width: 90ex;
    margin: 0 auto;
}
.label {
    font-size: 80%;
    font-weight: bold;
}
.footnoteRef {
    color: #F00;
}
.footnote {
    font-size: 75%;
    padding: 1em;
}
.exp { /* Exposant */
    font-size: 80%;
    position: relative;
    bottom: 0.5ex;
}
.ind { /* Indice */
    font-size: 80%;
    position: relative;
    top: 0.5ex;
}

/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
/* upmenu : menu hiérarchique. e.g.  ensta / ~diam / ocro / tools  */
.upmenu {
    font-size: smaller;
    color: inherit;
    color: black;
    background-color: #FFFFC0;
}
.changes {
    font-size: smaller;
    color: inherit;
    color: black;
    background-color: transparent;
}
/* 
    ligne de séparation invisible pour repasser en mono-colonne 
   e.g. <hr class="sep"/>
*/
.sep {
    clear: both;
    visibility: hidden;
}
.smaller {
    font-size: smaller;
}
.larger {
    font-size: larger;
}
.stabilo {
    background-color: yellow;
}
.fstabilo {
    background-color: yellow;
    border: solid 1pt red;
}
.blue {
    color: blue;
}
.red {
    color: red;
}
div.signature {
    font-size: 80%;
    text-align: right;
}

/*
    La liste de la page changes.php (historique) 
*/

dl.hist {
    margin: 0 0 0 0;
}
dl.hist dt {
    font-weight: bold;
    font-size:  100%;
    background: #FFF0F0;
    background: transparent;
    margin: 1ex 0 0.5ex 0;
    display: list-item;
    list-style: circle inside;
}
dl.hist dd {
    margin: 0 0 0.5ex 2em;
    text-indent: -1.5ex;  /* pour le tiret en première ligne */
    margin: 0 0 0.5ex 2ex;
    text-indent: 0;
}

/*
    La liste des contacts (reponsable module, soutient, prof, mdc 
*/

dl.contacts {
    margin: 0 0 0 0;
}
dl.contacts dt {
    font-weight: bold;
    font-size:  100%;
    background: #FFF0F0;
    background: transparent;
    margin: 1ex 0 0 0;
    margin: 0 0 0 0;
    display: list-item;
    list-style: circle inside;
}
dl.contacts dd {
    margin: 0 0 0.5ex 2em;
    text-indent: -1.5ex;
}