@import "color.css";/* Définitions de couleur, police générales */

body {
    margin: 10px;
    color: #FFFFFF;
    background-color: #000000;
    font-family: sans-serif;
    }

:link {
    color: #8481FF;
    text-decoration: none;
    }

:visited {
    color: #80D0FF;
    text-decoration: none;
    }

a:hover {
    text-decoration: underline;
    }

h1 {
    text-align: center;
/*    color: red; */
    }


/* Une structure à deux colonnes : 200px à gauche, le reste à droite */

div.lmenu_left {
    position: absolute;
    left:0px;
    width: 230px;
    height: 100%;

    } 

div.lmenu_right {
    height: 100%;
    margin-left: 230px;
    overflow: auto;
    }

div.corner {
    margin-right: 10px;
    margin-top: 20px;
/*    width: 200px; */
    position: absolute;
    right:0px;
    }


/* Une structure à une colonne ! */

div.main {
    margin-left: 10px;
    margin-right: 10px;
    }


/* Divers */

.vskip {
    margin-top: 10px;
    }

.boxed {
    border-width: 1px;
    border-style: solid;
    padding: 5px;
    margin: 0px 5px;
    }    

#main {
    margin-top: 60px;
    }

.tt {
    font-family: monospace;
    font-size: small;
    }

.tt h2 {
    font-size: small;
    font-weight: bold;
    text-align: left;
    color: white;
    margin:0px;
    padding:0px;
    }

.horz-pad {
    padding-left: 10px;
    padding-right: 10px;
    }

.center {
    text-align: center;
    }

div.alinea {
    position: relative;
    left: 10px;
    }

span.citetitle {
    font-style: italic;
    }

ul#publi div.abstract {
    font-size: small;
    padding: 0px 20px;
    text-align: justify;
    }