/* slidy-inria.css
   This style sheet complements file slidy.css
   It defines the specifics of the INRIA style
  © Copyright 2005 INRIA */

/* General */

  body {
    font-family: Helvetica, Arial, sans-serif;
    height: 100%;
  }

  div.background {
    height: 100%;
  }

/* First slide */

  #cover-image {
     position: fixed;
     top: 0;
     height: 50.01%;
     width: 38.5%;
  }

  #cover-bandeau {
     position: fixed;
     bottom: 0;
     width: 100%;
     height: 50%;
  }

  div.slide.cover {
    background-color: white;
    padding: 0 0 0 0;
    margin: 0 0 0 0;
  }

  div.cover-content {
    position: fixed;
    top: 0;
    right: 0;
    left: 38.5%;
    bottom: 50%;
    overflow: auto;
    
  }

  div.slide.cover h1 {
    color: #594FBF; /* INRIA blue */
    border-style: none;
    padding: 0 0 0 0;
    margin: 2em 0 2em 0;
    text-align: center;
    font-size: 170%;
  }

  div.slide.cover h2 {
    color: #594FBF; /* INRIA blue */
    border-style: none;
    padding: 0 0 0 0;
    margin: 0 1em 1em 0;
    font-size: 100%;
    text-align: center;
  }

  div.slide.cover p {
    color: black;
    padding: 0 0 0 0;
    margin: 0 1em 0 0;
    text-align: center;
  }

  div.slide.cover a:link, div.slide.cover a:visited {
    color: #594FBF; /* Inria blue */
    text-decoration: underline;
  }

  div.slide.cover a:hover, div.slide.cover a:active {
    color: #FF8000; /* orange */
    text-decoration: underline;
  }

/* Chapter slide */

  #chapter-bandeau {
    position: absolute;
     bottom: 0;
     width: 100%;
     height: 50%;
  }

  div.background.chapter {
     background-color: white;
  }

  div.slide.chapter h1 {
    color: #594FBF; /* Inria blue */
    border-style: none;
    padding: 0 0 0 0;
    margin: 10% 1em 0 2em;
    font-size: 170%;
  }

/* Bandeau INRIA */

/* IE
\*/
  div.bandeau {
/*   z-index: 199;  */
     position: absolute;
     left: 0;
     bottom: 0;
     right: 0;
     background-color: #594FBF;
  }

  #bandeauINRIA {
    width: 100%;
  }

/* Toolbar (bottom of slides) */

  div.toolbar {
    color: white;
    background: #594FBF /* INRIA blue */
  }
  .toolbar a:link {color: #FFFF00} /* yellow */
  .toolbar a:visited {color: #FFFF00} /* yellow */
  .toolbar a:active {color: #FF8000} /* orange */
  .toolbar a:hover {color: #FF8000} /* orange */

/* Slide heading */

  #head-icon {
     float: left;
     height: 3em;
  }

  div.slide h1 {
    padding-left: 2.5em;
    padding-top: 0.4em;
    padding-bottom: 0.4em;
    padding-right: 0;
    margin-right: 60pt;
    color: #594FBF; /* INRIA blue */
    border-bottom: thick solid #D60098; /* magenta */
  }

/* Slide body */  

  div.slide {
    padding: 0;
    border-width: 0;
  }

  div.slide code.idempre { 
     color: #00007F; /* dark blue */
     line-height: 110%;
     margin: 1em;
     padding-bottom: 0em;
     padding: 0.5em 1em 0.5em 1em;
     background-color: #dbdcde; /* grey */
     font-size: 80%;
     border: solid thin black;
     font-weight: bold;
  }

  div.slide pre { 
     color: #00007F; /* dark blue */
     line-height: 110%;
     margin: 1em;
     padding-bottom: 0em;
     padding-top: 0.5em;
     padding-bottom: 0.5em;
     padding-left: 1em;
     background-color: #dbdcde; /* grey */
     font-size: 80%;
     border: solid thin black;
  }

/*
  div.slide dt {
    color: #D60098;
  }
*/

  div.slide em {
     color: #D60098; /* magenta */
  }

  div.slide strong {
     color: #594fbf; /* INRIA blue */
  }

  div.slide code {
    font-weight: bold;
    color: #594FBF;
  }

/* Color span */

  span.blue {
    color: #594FBF;
  }

  span.orange {
    color: #FF8000;
  }

  span.green {
    color: #B4DC14;
  }

  span.magenta {
    color: #D60098;
  }

  span.yellow {
    color: #FFFF00;
  }

  pre span.cPurple {
    color: #7F007F;
  }

  pre span.cGreen {
    color: #007F00;
  }

  pre span.cMaroon {
    color: #7F0000;
  }

/* Miscellaneous - General */

  a:visited { color: #594FBF; text-decoration: underline } /* INRIA blue */
  a:link { color: #594FBF; text-decoration: underline } /* INRIA blue */
  a:hover { color: #FF8000; text-decoration: underline } /* orange */
  a:active { color: #FF8000; text-decoration: underline } /* orange */

  p,pre,dl,ul,ol,blockquote,h2,h3,h4,h5,h6 {
    margin-left: 1em;
    margin-right: 1em;
  }

  ul, ol, dl {
     margin: 0.5em 1.5em 0.5em 1.5em;
     padding: 0;
  }

  dd ul, dd ol, dd dl {
     margin: 0;
  }

  ul { list-style-type: square; }
  ul ul { list-style-type: disc; }
  ul ul ul { list-style-type: circle; }
  ul ul ul ul { list-style-type: disc; }

  ul li { 
     list-style: none;
     margin: 0.1em 0em 0.6em 0;
     padding: 0 0 0 1.8em;
     background: transparent url(bullet-inria.png) no-repeat 5px 8px;
     line-height: 140%;
  }

  ol li { 
     margin: 0.1em 0em 0.6em 1.5em;
     padding: 0 0 0 0px;
     line-height: 140%;
  }

  li p {
     margin-left: 0;
  }

  dd p {
     margin-left: 0;
  }
  
  li li {
     margin-bottom: 0.1em;
     font-size: 90%; 
     font-style: inherit;
     list-style-type: square;
     background: transparent;
     padding: 0 0 0 0;
  }
  li ol li {
     list-style-type: decimal;
  }
  li li li { 
     font-size: 90%; 
     font-style: inherit;
     list-style-type: circle;
     background: transparent;
     padding: 0 0 0 0;
  }
  li li ol li {
     list-style-type: decimal;
  }
  li li li li {
     list-style-type: disc;
     background: transparent;
     padding: 0 0 0 0;
  }
  li li li ol li {
     list-style-type: decimal;
  }

 img.withBorder {
     border: 2px solid #c60;
     padding: 4px;
 }