/* print.css

   Copyright (c) 2005 W3C (MIT, ERCIM, Keio), All Rights Reserved.
   W3C liability, trademark, document use and software licensing
   rules apply, see:

   http://www.w3.org/Consortium/Legal/copyright-documents
   http://www.w3.org/Consortium/Legal/copyright-software
*/
html {margin: 0; padding: 0}

@page {
  margin: 18mm;
  padding: 2mm 0 2mm;
  size: a4;
  font: 10pt sans-serif; 
  @bottom-center {
     content: counter(page);
     font: 10pt sans-serif;
     vertical-align: top;
     }
  }

body {
  color: black;
  font: 10pt sans-serif;
  width: 70%;
  padding-bottom: 0.5em;
  border-bottom: solid black 1px;
}

div.slide { page-break-before: auto; page-break-inside: avoid;
            border-top: solid black 1px; margin-top: 0.5em;
            padding-bottom: 0.5em; }
div.background { display: none; 
                 visibility: hidden; page-break-after: avoid; }
div.handout { display: block; visibility: visible;
              border-top: dotted black 1px; }

img#cover-image { display: none; visibility: hidden}
img#cover-bandeau { display: none; visibility: hidden}

h1 {font-size: 130%}
div.chapter h1 {font-size: 150%; text-align: center;
                margin-bottom: 0; }
div.cover-content h1 {font-size: 150%}

h2 {font-size: 120%}
h3 {font-size: 110%}

div dt {
  margin-left: 0;
  margin-top: 1em;
  margin-bottom: 0.5em;
  font-weight: bold;
}
div dd {
  margin-left: 2em;
}

blockquote { font-style: italic }

pre, tt, code {
  font-size: 85%;
  font-family: "Bitstream Vera Sans Mono",
               "Lucida Console", monospace;
}

p.copyright { font-size: smaller }

a:visited { color: navy }
a:link { color: blue }
a:hover { color: red }
a:active { color: red }

a {text-decoration : none}
.navbar a:link {color: white}
.navbar a:visited {color: yellow}
.navbar a:active {color: red}
.navbar a:hover {color: red}

ul, ol {margin-left: 1em; padding-left: 1em;}
li { margin-left: 0; padding-left:0; }
li p {margin: 0.1em 0 0.1em 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; }
li li { font-size: 85%; font-style: normal }
li li li { font-size: 85%; font-style: normal }