body {
    font-family: Verdana, Arial, Helvetica, Lucida, sans-serif;
    font-size: 100%;
    color: #000088;
    background: #FFFFFF;
    margin: 0;
    padding: 0;
    width:90ex; /* spécial iPhone et clones */
}
#header {
    position: relative;
    margin: 0;
    padding: 0;
    background: transparent;
    border-bottom: solid 3px #40A040;
}
#main {
    position: relative;
    margin: 0;
    padding: 0;
    background: transparent;
    border-bottom: solid 3px #40A040;
}

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

a {
    color: #D00;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}


#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)
*/

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

/*
    La liste de la page survie
*/

div.survie div.long_reply {
    font-size: 95%;
    font-family: monospace;
    font-weight: 400;
    padding: 0 4ex 2ex 4ex;
    letter-spacing: -1px;
    word-spacing: -6px;
    white-space: normal;
}

div.survie pre {
    font-size: 95%;
    font-family: monospace;
    font-weight: 400;
    padding: 0 4ex 2ex 4ex;
    letter-spacing: -1px;
    word-spacing: -6px;
    white-space: normal;
}

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