p { text-align: justify; }
h1 { text-align: center; font-size: 200%;
   display: block;
   border-top: thin solid black;
   border-bottom: thin solid black;
   font-style: italic; 
   margin: 0px;}
h2 { text-align: left; font-size: 150%;
   display: block;
   border-bottom: thin solid black; }
h3 {font-size: 100%; }
h1,h2,h3 { color: #660000; font-family: sans-serif; }

.item a {text-decoration: none; color: black; background-color: #f0f0ff;
         border: solid 1px #a0a0ff; }
.item a:link    { }
.item a:visited { }
.item a:active  { }
.item a:hover   { background-color: #a0a0ff;
                  border-color: black; }

.intro { }
.item { 
 padding: 1em; margin-bottom: 1em; }
.notes { border: solid; border-color: #0000bc;
 padding: 1em; padding-left: 10.5em; margin-bottom: 1em; background-color: white; }
.warning { border: solid; border-color: black;
 padding: 1em; padding-left: 10.5em; margin-bottom: 1em; background-color: #ffff40; }
.warning h2 { color: red; }

.liens { }
/* .liens span { float: left; } */
.liens span.hidden { visibility: hidden; position: absolute; }

a.dl { text-decoration: none; border: solid; border-color: #e098ff;
display: block; margin-bottom: 0.25em; max-width: 20em;
text-align: center }
a.rapport { text-decoration: none; border: solid; border-color:
#ffcd98; display: block; margin-bottom: 0.25em; max-width: 20em;
text-align: center }

a.paper { text-decoration: none; display: list-item; margin-bottom: 0.25em;
margin-left: 2em; text-align: left; color: black; }

a.paper:hover { background-color: white; }

.paper span { float:none; clear: both; }
.paper span.title { font-family: sans; font-style: italic; }
.paper span.author { }
.paper span.pub { font-weight: bold; }
.paper span.extra { font-family: sans; }

.publi h3 a { color: #660000; font-family: sans-serif; font-weight: bold; display: block; }
.publi span.pub { font-weight: bold; }
.publi .info h4,
.publi .info .abstract a .prophead { display: inline; font-family: sans-serif; font-weight: bold; }
.publi .info p { display: inline; }
.publi .info { margin-left: 2em; }
/* .publi .info .abstract p.full { display: none; } */
/* .publi .info .abstract:focus p.full { display: block; } */
/* .publi .info .abstract p.short { display: inline; } */
/* .publi .info .abstract:hover p.short { display: none; } */
/* .publi .info .abstract p.short span.more { color: #660000; } */
.publi .info .abstract a { border: none; }
.publi .info .abstract a span.full { display: none; }
.publi .info .abstract a span.short { font-style: italic; }

  /* CSS Tooltips */
.publi .info .abstract a:hover { z-index:25; }
.publi .info .abstract a:hover span.full { display: block; position: absolute; border: 1px solid #000000; background-color: #ffffff;  text-align: justify; padding: .5em; max-width: 50em; font-style: italic; }

  /* CSS menus */
/*
.publi .info .abstract a:focus span.full { display: block; }
.publi .info .abstract a:focus span.short { display:none; }
.publi .info .abstract a:active span.full { display: block; }
.publi .info .abstract a:active span.short { display:none; }
*/

.publi h3 { margin-bottom: 0pt; }

code { text-decoration: underline; background-color: yellow;  }
span.code { display: block; border: solid; padding: 0.5em;
          margin: 1em 1em 1em 2em; background-color: white;}

span.code code { text-decoration: none; background-color: white;}

/*background-color: white; opacity: 0.7; }*/
#menu { position: fixed; top: 0em; left: 0em; width: 170px; height: 100%;
 padding: 0; margin: 0; font-family: sans-serif;
 background-image: url("http://www.di.ens.fr/~leurent/bob.png"); background-position: bottom;
 border-right: 1px dashed black;
 z-index: 1; }

#menutop { width: 100%;
 padding-top: 0px; position:absolute; z-index: 1; }

#menu h1 { text-decoration: none; color: #9e0000;
 margin: 0; padding: 0; margin-bottom: 1em; }
#menulist { margin: 0; padding: 0; margin-top: 1em; }
#menulist li {
 list-style: none; margin: 0; margin-bottom: 0;
 text-align: center;
 display: block; padding: 0.5em; }
#menulist li a { text-decoration: none; background: white; padding: 2px; }
#menulist li a:hover { border: 1px solid black; }

#W3C { position: absolute; bottom: 0em; left: 0em; width: 10em; }

#W3C p { padding-bottom: 0.5em; text-align: center; }

body { margin: 0; padding: 0; background-color: #f0f0f0; }
#scroll-content { margin: 0; padding: 0; }

#main { position: relative; padding: 2em; margin-left: 170px; }

.flottant { float:left; border: solid; }
.spacer { clear: both; }
.important { color: red; }

address { text-align: right; }
img { display: block; margin: auto;}
#despam-remove { font-style: italic; }

#lang-select { border-bottom: thin solid black;
             text-align: center; }
#lang-select-1 { width: 54ex;  font-size: 75%;
             margin: auto; padding-bottom: 3ex; }
#lang-select-2 {position: absolute; width: 60ex; height: 3ex; }
#lang-select ul {display: block; position: absolute;
             top: 0px; left: 0px; margin: 0; padding: 0; }
#lang-select li {
 list-style: none; margin: 0; padding: 0;
 text-align: center;
 position: absolute; top: 0ex; }
#lang-select a { text-decoration: none; color: black;
               display: block; width: 20ex;
             height: 3ex; font-style: italic; vertical-align: middle; }
#lang-select a:hover { background-color: #e0e0e0; }
#lang1 {left: 0ex; }
#lang2 {left: 20ex; }
#lang3 {left: 40ex; }

.SIMD { font-family: sans-serif; }

table.perfs { border: 1px solid black; margin-left: auto; margin-right: auto; }

.perfs td { padding-left: 1em; padding-right: 1em}

thead { color: #660000; font-family: sans-serif; }

tfoot { font-style: italic; }

th {font-weight: 500; }

.perf1 {background-color: white; }
.perf2 {background-color: white; }