table {
    font-size: inherit;    /*IMPORTANT pour les cellules #menu et #main */
}

a {
    color: #D00;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
hr {
    color: blue;
    background-color: blue;
    height: 2px;
    border: 0;
    margin: 1.0em 0px 1.0em 0px;
}
img {
    border: 0;
}

#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;
}

#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;
    /* list-style-type:square; */
    /* list-style-type: circle; */
}
#menu  li li a {
    color: #A44;
}
#menu li li li {
    margin: 0 0 0 1.5em;
    /* list-style-type:square; */
    /* list-style-type: circle; */
}

#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%;
    color: #0000F0;
    
    padding:  0 0 0 0.5ex;
    margin:   1ex 0 1ex -15px;

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

#main h3 { 
    font-style: italic;
    font-weight:bold;
    font-size:120%;
    color: #0080F0;
    padding: 0;
    margin: 1ex 0 1ex 0;
}
#main h4 { 
    font-style: normal;
    font-weight bold;
    font-size:80%;
    color: #0000F0;
    color: #0080F0;
    padding: 0;
    margin: 1ex 0 0.5ex 3ex;
}
#main h2 a {
    color: inherit;
}
#main h3 a {
    color: inherit;
}
#main h4 a {
    color: inherit;
}
#main ul {
    margin: 0 0 0 0;
}
#main ul li {
    margin: 0.3ex 0 0 0;
}
#main ul.packed li {
    margin: 0 0 0 0;
}
#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;
    margin-bottom: 1em;
    margin-left: 0em;
}

/* **************************************************************** */
/* **************************************************************** */
/* **************************************************************** */
/* 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;
}
.stabiloWarning {
    margin: 2em; 
    padding: 1ex;
    background-color: yellow;
    color:  red;
    border: solid 1px red;
    font-size: 120%; 
    text-align: center;
}
.blue {
    color: blue;
}
.red {
    color: red;
}
.mtime {
    font-size: 70%;
}

/*
    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 0;
    margin: 0 0 0 0;
    display: list-item;
    list-style: circle inside;
}
dl.hist dd {
    margin: 0 0 0.5ex 2em;
    text-indent: -1.5ex;
}

/*
    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;
}