body {
 margin : 0px ;

 background-color : #000000 ;
 background : url("rdpb.jpg") no-repeat center center fixed ; 
 
 -webkit-background-size : cover;
 -moz-background-size : cover;
 -o-background-size : cover;
 background-size : cover;

 height : 100% ;
}

/* Colonne de navigation */
nav {
 height : 100% ;
 
 text-align : center ;
 line-height : 24px ;
 color : #ffffff ;
}

nav a.main {
 font-variant : small-caps ;
}

nav a:link {
 color : #ffffff ;
 text-decoration : none ;
}
nav a:visited {
 color : #ffffff ;
 text-decoration : none ;
}
nav a:hover {
 color : #ffffff ;
 text-decoration : underline ;
}

nav h5 {
 border-top : solid 1px #ffffff ;
 border-bottom : solid 1px #ffffff ;
 margin-top : 30px ;
 margin-bottom : 10px ;
}

nav div.fullheighter {
 position : fixed ;
 top : 0 ;
 bottom : 0 ;
 left : 20px ;
 height : 100% ;
 width : 180px ;
 background-color : rgba(0, 0, 0, 0.5) ;
 border : 0 ;
 vertical-align : middle ;
 padding-left : 10px ;
 padding-right : 10px ;
}

nav div.spacer {
 border : 0 ;
 opacity : 0 ;
}

nav div.separateur {
 border-top : solid 1px #aaaaaa ;
 opacity : 0.5 ;
}

/* Corps des pages */
section {
 position : absolute ;
 left : 240px ;
 right : 20px ;
 min-height : 100% ;
 background-color : rgba(255,255,255,0.9) ;
 margin-top : 0px ;
 margin-bottom : 0px ;
 padding : 10px 20px 10px 20px ;
}

section ul {
 margin-top : 0px ;
 list-style-type : none ; 
}

section a:link {
 color : #000000 ;
 text-decoration : none ;
}
section a:visited {
 color : #000000 ;
 text-decoration : none ;
}
section a:hover {
 color : #000000 ;
 text-decoration : underline ;
}

/* Titre principal avec sous-titre */
section h2.demihaut {
 border-top : solid 2px #a00070 ;
 padding-top : 8px ;
 padding-bottom : 5px ;
 margin-top : 20px ;
 margin-bottom : 0px ;
 text-align : center ;
 background-color : #ffd7f5 ;
 
 color : #a00070 ;
 font-size : 20pt ;
 font-variant : small-caps ;
}

section h2.demibas {
 border-bottom : solid 2px #a00070 ;
 padding-bottom : 8px ;
 margin-top : 0px ;
 margin-bottom : 30px ;
 text-align : center ;
 background-color : #ffd7f5 ;
 
 color : #a00070 ;
 font-size : 12pt ;
 font-style : italic ;
}

/* Titre principal de section */
section h2.item {
 margin-top : 20px ;
 margin-bottom : 15px ;
 
 font-size : 14pt ;
 font-variant : small-caps ;
}

/* Titre d'item */
section h3.item {
 margin-top : 10px ;
 margin-bottom : 5px ;
}
/* Surtitre d'item */
section h4.item {
 margin-top : 20px ;
 margin-bottom : -7px ;
 font-size : 12pt ;
 font-variant : small-caps ;
}

/* Titres pour les pages de plan de cours */
section h4.chap {
 display : inline-block ;
 font-weight : bold ;
 font-variant : small-caps ;
 margin-top : 0px ;
 margin-bottom : 3px ; 
}

/* Puces « à la main » */
section span.puce {
 display : inline-block ;
 width : 2em ;
 margin-left : 1.5em ;
 margin-right : 0.5em ;
 direction : rtl ;
}

/* Titres pour les pages de cours */
section h3.chap {
 text-align : center ;	
 font-variant : small-caps ;
 font-size : 20pt ; 
 
 margin-top : 10px ;
 margin-bottom : 0px ;
 margin-left : 30px ;
 margin-right : 30px ;
 
 border-top : solid 2px #000 ;
 border-left : solid 2px #000 ;
 border-right : solid 2px #000 ;
 
 padding-top : 10px ;
 padding-bottom : 10px ;
}
section h3.sec {
 text-align : center ;	
 font-size : 16pt ; 
 
 margin-top : 0px ;
 margin-bottom : 100px ;
 margin-left : 30px ;
 margin-right : 30px ;
 
 border-bottom : solid 2px #000 ;
 border-left : solid 2px #000 ;
 border-right : solid 2px #000 ;
 
 padding-top : 10px ;
 padding-bottom : 10px ;
}
section h3.nav {
 text-align : center ;
 font-size : 12pt ; 
 font-style : italic ;
 font-weight : normal ;
}

/* Théorèmes, etc. */
section h4 {
 font-size : 14pt ;
}

section h4.paragraphe {
 font-size : 14pt ;
 font-weight : normal ;
 font-style : italic ;
 margin-left : 20px ;
}

section h4.thm
{
  margin  : 10px 0px 0px 0px ;
  padding : 6px 10px 6px 10px ;
  
  background : #df10ba ;
  color      : #ffffff ;
}

section p.thm
{
  margin  : 0px 0px 10px 0px ;
  padding : 8px 10px 6px 10px ;
  
  border-style : solid ;
  border-color : #df10ba ;
  background   : #ffefff ;
  border-width : 2px ;
}

section h4.def
{
  margin  : 10px 0px 0px 0px ;
  padding : 6px 10px 6px 10px ;
  
  background : #10b170 ;
  color      : #ffffff ;
}

section p.def
{
  margin  : 0px 0px 10px 0px ;
  padding : 8px 10px 6px 10px ;
  
  border-style : solid ;
  border-color : #10b170 ;
  background   : #e6fff3 ;
  border-width : 2px ;
}

section div.demonstration {
 margin-top : 2px ;
 margin-bottom : 4px ;
 
 padding-left : 5px ;
 padding-right : 5px ;
 
 border-style : double ;
 border-top-width : 0px ;
 border-bottom-width : 0px ;
 border-left-width : 5px ;
 border-right-width : 0px ;
 border-color : #505050 ;
 
 color : #505050 ;
}

/* Codes de programmes */
section span.mot_cle {
 color : #df10ba ;
}

section span.petitcode {
 color : #2a0560 ;
 
 font-family : monospace ;
 font-weight : bold ;
 font-style : normal ;
 
 padding-left : 3px ;
 padding-right : 3px ;
}

section span.code {
 display : block ;
 background : #f5f4ff ;
 color : #2a0560 ;
 
 font-family : monospace ;
 font-weight : bold ;
 
 line-height : 20px ;
 margin : 3px 20px 3px 20px ;
 padding : 5px 5px 5px 5px ;
 border : solid 2px #2a0560 ;
}

section span.code_console {
 display : block ;
 background : #f2f2f2 ;
 color : #2a2a2a ;
 
 font-family : monospace ;
 font-weight : bold ;
 
 line-height : 20px ;
 margin : 3px 20px 3px 20px ;
 padding : 5px 5px 5px 5px ;
 border : solid 2px #2a2a2a ;
}


/* Images */
img.travers {
 margin-top : 20px ;
 margin-bottom : 20px ;
 
 margin-left : auto ;
 margin-right : auto ;
 display : block ;
}