body {
/* background-color :White; */
margin:0;
}

#page{
position:relative;
top:5mm;
left:18%;
width:70%;
text-align:left;
border:3px solid #000;
background-color:Linen; 	/* change in menu */
margin:0 0 100px;
padding:15px
}

h1,h2,h3 { 
font-weight:bold; 
background-color :#CCCCEB;
color : black;
}

h1 {
text-align : center;
font-size : x-large;
/* font-variant : small-caps; */
border: 2px solid black ;
color: DarkRed;
}

h2 {
font-size : large;
/* font-variant : small-caps; */
padding:3px
}

h3 {
font-size : medium;
/* font-variant : small-caps; */
padding-left : 2%;
margin-bottom : 3px;
}

/* COQ  */

.id { display: inline; }

.id[type="lemma"] { 
    color: rgb(0%,40%,0%);
}

.id[type="instance"] { 
    color: rgb(0%,40%,0%);
}

.id[type="class"] { 
    color: rgb(0%,0%,80%);
}

.id[type="keyword"] { 
 color : #cf1d1d;
/*     color: black; */
}

.inlinecode .id {
    color: rgb(0%,0%,0%);
}


/* Menu, mit Bruno */


ul.menu{
float:left;
position:absolute;
top:50px;
left:-142px;
list-style:none;
margin:0;
padding:0;}

.menu li{          
border:1px solid #000;
background-color:SandyBrown;
font-variant:small-caps;
font-size:medium;
font-weight:700;
width:130px;
margin:0 0 5px 10px;}

.menu li#current{
background-color:Linen;
border-right-color:Linen;
width:130px;
margin-left:0;
padding:5px;
}

.menu a{
color:#000;
display:block;
text-decoration:none;
padding:5px;
}

.menu a:hover,.menu a:focus,.menu a:active{background-color:#D6DEE7;}

.menu span{position:relative;bottom:7px;}
.menu img{border:none;width:14px;height:9px;}

/* bruno */

.address{vertical-align:middle;border:none;margin-left:3em;}

.langmenu { 
        text-align: center;
        width: 100%;
        margin: 0;
        padding: 0;
        }

/* div#icones{width:400px;padding-bottom:3px;padding-top:3px;clear:both;margin:0 */
/*  auto;} */

/* #icones span{float:left;} */
/* #icones img{border:0;} */
/* ul#thumbs{border:none;width:94%;text-align:center;margin:0;} */
/* #thumbs li{text-align:center;width:200px;display:inline-block;vertical-align:top;margin:0 */
/*  10px;padding:1em;} */

/* #thumbs img{position:relative;border:#000 solid */
/*  1px;height:150px;margin:0 */
/*  auto;}div#viewer{position:absolute;top:20px;left:50%;margin-left:-245px;width:490px;background-color:#000;text-align:center;color:#FFF;display:none;z-index:998;padding:0;}#viewer */
/*  img{cursor:pointer;vertical-align:middle;border:#000;margin-top:1em;}span.nav */
/*  img{cursor:pointer;margin:3px */
/*  53px;}div#loader{display:none;position:absolute;top:2px;left:50%;margin-left:-12.5px;z-index:999;width:25px;padding:0;}div#masque{background-image:url(photos/masque.png);background-repeat:repeat;background-position:top */
/*  left;width:100%;height:100%;position:fixed;left:0;top:0;z-index:2;display:none;margin:0;}dl.cv-entry{width:100%;margin:0;padding:0;}.cv-entry */
/*  dt{width:13%;float:left;font-size:.9em;text-align:right;clear:both;margin:0;padding:.2em */
/*  1em 0 0;}.cv-entry */
/*  dd{float:left;width:80%;margin:0;padding:0;}.cv-entry */
/*  span{font-size:.9em;}div.cv-div{overflow:auto;margin:0;padding:0;}dl.publis{float:left;width:100%;margin-top:0;}.publis */
/*  dt{float:left;margin-left:4%;}.publis */
/*  dd{float:left;width:90%;margin:0;padding:0 0 .5em .5em;}.bibtex */
/*  pre{display:inline-block;vertical-align:middle;border:1pt #000 */
/*  solid;width:45%;white-space:pre-wrap;padding:10px;}.bibtex */
/*  ul{display:inline-block;vertical-align:middle;list-style-type:square;padding:1ex */
/*  10%;}a:hover,a:active,a:focus,a[href$=.pdf]:hover{color:red;text-decoration:underline;}a[href^=publis/][href$=.pdf],a[href^=enseignement/][href$=.pdf]{background:transparent */
/*  url(icon_pdf.png) no-repeat center */
/*  right;color:#000;font-weight:700;text-decoration:none;padding:10px */
/*  16px 0 0;}dt,.publis li{clear:both;} */


/* #panorama{position:fixed;bottom:0;width:100%;background-image:url(panorama.png);background-repeat:no-repeat;background-position:center
 bottom;z-index:3;margin:auto;padding:0 0
 2cm;}

#obsolete{position:relative;top:5mm;width:70%;text-align:left;border:1px
 solid red;z-index:3;background-color:#FFA4A4;margin:0 auto
 3mm;padding:15px;}

.citation{font-style:italic;text-align:justify;width:200px;float:right;margin-top:-50px;background-image:url(quote.png);background-repeat:no-repeat;background-position:top
 left;}

.citation #auteur{font-style:normal;font-weight:700;float:right;}

div#photo{width:150px;height:169px;float:right;border-color:#000;border-style:solid;border-width:1px;margin:-20px
 20px
 5px;padding:0;}

.language{position:absolute;top:10px;left:20px;padding:0;}

.language a{background-repeat:no-repeat;background-position:top
 left;float:left;line-height:1pt;}

.language a:hover{background-position:right top;}
.language#en2fr a{background-image:url(fr.jpg);}
.language#fr2en a{background-image:url(us-uk.jpg);}
.language img{border-width:0;}

h1,h2{font-weight:700;font-variant:small-caps;}
h1{text-align:center;font-size:x-large;}
h2{font-size:large;padding-left:2%;margin:5px 0 3px;}
h3{font-size:small;font-weight:700;padding-left:2%;margin-bottom:0;}

p,div{padding-left:4%;margin-top:2px;}

abbr{cursor:help;border-bottom:.1em dotted;}
a:link{color:blue;text-decoration:none;}
a:visited{color:#00A;text-decoration:none;}
p#lastmodif{width:100%;clear:both;text-align:center;font-size:xx-small;padding-bottom:0;margin:0;}

 */