/* CSS style for the public WAM site */
/* V. Quint, 3 July 2009             */

@media screen {
body {
   background-image: url(Inria1-130.png);
   background-repeat: no-repeat;
   background-position: left top;
   background-color: #5C86C4;
   }
}
@media print {
body {
   font-size: 10pt;
   }
}
body {
   font-family: 'Lucida Grande', sans-serif;
   font-size: 14px;
   margin-left: 0;
   margin-top: 0;
   }

/* Heading */

@media screen {
div.heading {
   background-image: url(SemiOpaqueWhite.png);
   background-repeat: repeat-y;
   margin-top: 0;
   padding: 15px 0 0 20px;
   height: 115px;
   }
}
div.heading {
   font-family: 'Gill Sans', 'Trebuchet MS', sans-serif;
   color: black;
   }
.heading h1 {
   font-size: 180%;
   font-weight: bold;
   margin-bottom: .3em;
   }
p.subheading {
   font-size: 140%;
   margin-top: .2em;
   }

/* Logos and search box */

div.logos {
   position: absolute;
   top: 25px;
   right: 10px;
   text-align: right;
   }
div.logos img {
   border: 0px solid Black;
   }
div.logos p {
   margin: 0 0 3px 0;
   font-size: 85%;
   }
div.logos form {
   margin: 0 2px 0;
   }
@media print {
div.logos {
   display: none;
   }
}
.search {
   background-image: url(SemiOpaqueWhite.png);
   }

/* Navigation menu */

div.nav {
   position: absolute;
   top: 130px;
   left: 0px;
   width: 125px;
   color: white;
   }
@media print {
div.nav {
   display: none;
   }
}
div.nav .here {
   color: black;
   }
div.nav ul {
   margin: 20px 0 5px 20px;
   padding: 0;
   list-style-type: none;
   }
div.nav li {
   margin-bottom: .5em;
   }
div.nav a:link {
   text-decoration: none;
   color: inherit;
   }
div.nav a:visited {
   text-decoration: none;
   color: inherit;
   }

/* Main section */

div.main {
   position: absolute;
   top: 110px;
   left: 125px;
   margin-right: 0;
   padding: 0 10px 0 20px;
   color: #505050;
   background-color: white;
   }
@media print {
div.main {
   color: black;
   position: static;
   }
}
div.main div.spacer {
   /* adding space at the bottom of the page */
   height: 800px;
   margin: 10px -10px 0 -20px; 
   background-color: #5C86C4;
   }
@media print {
div.main div.spacer {
   display: none;
   }
}

.interactive {
   display: none;
   }
div.main p.localnav {
   font-size: 85%;
   text-align: right;
   margin: 3px 5px 2em 0;
   }
@media print {
div.main p.localnav {
   display: none;
   }
}
div.main h2 {
   margin-left: 0;
   }
div.main h3 {
   margin-left: 1.7em;
   }
div.main>p, div.main>dl, div.main>ul, div.main>ol {
   margin-left: 1.7em;
   }
.note {
   font-size: 85%;
   }
div.abstract {
   font-size: 85%;
   margin: .4em 0 .6em 2em;
   }

div.main a:link {
   color: #5C86C4;
   text-decoration: underline;
   }
div.main a:visited {
   color: #5C86C4;
   text-decoration: none;
   }
@media print {
div.main a:link,
div.main a:visited {
   color: black;
   text-decoration: none;
   }
}

/* Footer: author and date */

div.footer {
   font-size: 85%;
   margin-top: 2.5em;
   }
div.footer p {
   margin-top: 0;
   margin-left: 0;
   }