/* 
    diam.scc
    Essai de feuille de style pour html (testée avec netscape-4.7)
    Maurice.Diamantini@ensta.fr
    D/23/04/00
*/

/* Le corps de document */
body {
  color: black;
  background-color: white;
}

/* Les liens standards */
:link    { color: blue }   /* unvisited link */
:active  { color: red  }   /* active links   */
:visited { color: navy }   /* visited links  */

/* pour créer des liens cachés */
.invisible:link    {  color: #FFF; }
.invisible:active  {  color: #FFF; }
.invisible:visited {  color: #FFF; }

/*
    Exemple de liens personnalisés
    A.ss:link {
       text-decoration: none;
       color: #0000ff;
    }
    A.ss:visited {
       text-decoration: none;
       color: #4f4f4f;
    }
    A:active {
       color: #ffffff;
    }
    A.ss:hover {
      font-style: italic;
    }
*/

/* les couleurs standards */
.black     { color: black;   }      
.green     { color: green;   }      
.silver    { color: silver;  }      
.lime      { color: lime;    }      
.gray      { color: gray;    }      
.olive     { color: olive;   }      
.white     { color: white;   }     
.yellow    { color: yellow;  }      
.maroon    { color: maroon;  }      
.navy      { color: navy;    }      
.red       { color: red;     }      
.blue      { color: blue;    }      
.purple    { color: purple;  }      
.teal      { color: teal;    }      
.fuchsia   { color: fuchsia; }      
.aqua      { color: aqua;    }        

/* Quelques couleurs perso */
.dark-green { color: #006000; }
.orange     { color: #FF8000; }

/* Quelques couple de  couleurs fg/bg */
.stabilo {
    background: #FFC;
}
.yellow-on-blue {
    background: blue;
    color:      yellow;
}
.write-on-black {
    background: black;
    color:      white;
}

/* Quelques attributs de fontes */

.bold      {font-weight: bold   }
.normal    {font-weight: normal }
.x-bold    {font-weight: 900    }   /* non reconnu */


/* 
    Essai de modif des listes, mais probleme car premier <li> 
    difficilement cliquable 
ul.menu {
    margin-left: -1.5em;
    margin-top: -1.2em;
}
ul ul.menu {
    margin-left: -2.0 em;
    margin-top: 0em;
}
*/

/* Ce qui suit (les style .itemxxx et .menuxxx) sont à réserver aux
   frame de menu (de gauche)  
 */
 
/* 
    Essai création de classe d'item (pour les divisions) 
    But : émuler les <LI> avec plus de souplesse pour le positionnement.
 */
 
    .item {
        margin-left: 1.5ex;
        text-indent: -1.5ex;
    }
    .item1ex {
        margin-left: 1.0ex;
        text-indent: -1.0ex;
    }
    .item1ex5 {
        margin-left: 1.5ex;
        text-indent: -1.5ex;
    }
    .item2ex {
        margin-left: 2.0ex;
        text-indent: -2.0ex;
    }
    .item2ex5 {
        margin-left: 2.5ex;
        text-indent: -2.5ex;
    }
    .item3ex {
        margin-left: 3.0ex;
        text-indent: -3.0ex;
    }
    .item3ex5 {
        margin-left: 3.5ex;
        text-indent: -3.5ex;
    }
    .item4ex {
        margin-left: 4ex;
        text-indent: -4ex;
    }

/* Les classes de menus (idem aux classes .item, mais avec couleur 
   spécialisées
 */
        /* un élément de menu */
        .menu1 {
            color: #006000; 
            /* text-align: center; */
            font-family: sans-serif;
            font-size: large;
            font-weight: bold;
            margin-top: 0.3ex;
            margin-bottom: 0.5ex;
        }
        .menu2 {
            margin-left: 1.5ex;
            text-indent: -1.5ex;
            color: #008; 
            margin-top: 1.3ex;
            margin-bottom: 0.5ex;
        }
        .menu3 {
            margin-left: 3.0ex;
            text-indent: -1.5ex;
            color: #008; 
        }
        .menu1-tiret {
            color: #FF0000; 
            font-weight: bold;
        }
        .menu2-tiret {
            color: #006000; 
            font-weight: bold;
        }
        .menu3-tiret {
            color: #006000; 
            font-weight: bold;
        }
        .menu4-tiret {
            color: #0000DD; 
            font-weight: bold;
        }
 
/*************************************************************/
/* Les espacements horizontaux */
/* 
   Attention : les classes suivantes ne marchent que si "1.5em" (collé) 
   et non pas "1.5 em" 
   Alors qu'on peut utiliser un espace séparateur (en ligne) : 
    <   div style="margin-left: 1.5 em">xxx </div> 
*/

.left {
    margin-left: 1.5em;
}
.left1em {
    margin-left: 1.0em;
}
.left2em {
    margin-left: 2.0em;
}
.left3em {
    margin-left: 2.0em;
}
.left4em {
    margin-left: 2.0em;
}
.left5em {
    margin-left: 2.0em;
}
/* Les espacements verticaux */
.medskip {
    margin-top: 0ex;
    margin-bottom: 1.0ex;
}

/* Pour le caractere "fleche vers le haut" (^,  A, ou Î, ...)
   Cette version doit exister mais peut varier 
*/
.toTop {
    font-family: sans-serif;
    font-size: 100%;
    font-weight: bold;
    text-align: center;
    text: #070;
    background-color: #FFA;
    color: #070;
}
/* Pour le caractere "fleche vers le haut" 
   Version Vert su font jaune
*/
.toTopGreenOnYellow {
    font-family: sans-serif;
    font-size: 100%;
    font-weight: bold;
    text-align: center;
    text: #070;
    background-color: #FFA;
    color: #070;
}

/* Juste pour des exemples */
.bidon {
    font-family: Verdana, Arial, Helvetica, Lucida, sans-serif;
    font-family: monospace;
    font-family: sans-serif;
    font-family: courier;
    font-size : 100%;
    font-size: 170%;
    font-size: xx-large;
    font-size: x-large;
    font-size: large;
    font-weight: bold;
    text-align: center;
    margin:  0em   0em   0em   0em;
    padding: 0em   0em   0em   0em;
    margin-left: -1.5em;
    margin-left:    2em;
    margin-right:   2em;
    color: #070;
}

/*************************************************************/