/* @font-face {
	font-family: 'Edwardian Script ITC';
	src: url('/fonts/EdwardianScriptITC/EdwardianScriptITC.eot');
	src: url('/fonts/EdwardianScriptITC/EdwardianScriptITC.eot?#iefix') format('embedded-opentype'),
		url('/fonts/EdwardianScriptITC/EdwardianScriptITC.woff') format('woff'),
		url('/fonts/EdwardianScriptITC/EdwardianScriptITC.ttf') format('truetype');
	font-weight: normal;
	font-style: normal;
} */

@font-face {
	font-family: 'Edwardian Script ITC bold';
	src: url('/fonts/EdwardianScriptITC/Easy_Street_Alt_EPS_Bold.ttf');
}

html, body{
	counter-reset: chapitre_list_counter;
	counter-reset: section_chapitre_counter;
	counter-reset: definition_number_counter;
	counter-reset: proposition_number;
	counter-reset: preuve_number;
	font-family: sans-serif;
	margin: 0px;
	padding: 0px;
	width: 100%;
}

.centre{
	background-color: #ddd;
	display: table;
	float: left;
	height: calc(100vh - 130px - 134px);
	width: 100%;
	
}

.container_menu_entete{
	display: inline-block;
}

.chapitre{
	display: none;
	margin: 0px;
}

.chapitre_list{
	counter-increment: chapitre_list_counter;
	counter-reset: section_chapitre_counter;
	counter-reset: definition_number_counter;
	counter-reset: proposition_number;
	counter-reset: preuve_number;
}
.chapitre_list:before{
	content: "Chapitre " counter(chapitre_list_counter) " : ";
}

.chapitre_list:hover{
	background: #aaa;
}

.definition{
	font-weight: normal;
	display: none;
}

.definition_list{
	margin-left: 0px;
}

.definition_name{
	font-style: italic;
}

.definition_number{
	counter-increment: definition_number_counter;
	color: rgb(192, 0, 0);
	font-weight: bold;
	/* text-decoration: underline; */
}

.definition_number:before{
	content: "Définition " counter(chapitre_list_counter) "." counter(section_chapitre_counter) "." counter(definition_number_counter) " : ";
}
.definition_number:hover{
	background: #aaa;
}

/* .divise_menu_entete{ */
	/* display: inline-block; */
/* } */

dd{
	/* background-color: rgb(100, 100, 100); */
	/* border-left: double; */
	margin-left: 15px;
	padding-left: 10px;
	position: relative;

}
.definition:after , .preuve:after , .proposition:after{
  content:"";
  /* background-color: rgb(100, 100, 100); */
  border-bottom: double ;
  border-left: double ;
  position: absolute;
  top: 0px;
  left: 0px;
  display: block;
  padding: 0px; 
  margin: 0px;
  width: 10px;
  height: 100%;
}
dl{
	margin-right: 30px;
}
 
dt{
	margin-top: 10px;
}

em{
	font-style: normal;
	font-weight: bold;
}

footer{
	background: #ccc;
    bottom: 0px;
	margin: 0px;
	padding-top: 50px;
	padding-bottom: 50px;
	text-align: center;
	width: 100%;
}

h1 {
	/*font-weight: bold;  */
    /*font-family: Edwardian Script ITC bold; */
    /*font-size: 80px; */
    /* font-weight: 100; */
    /* letter-spacing: -1.5pt; */
    margin: 0; 
    padding-top: 4px;
}

h1 > a{
	text-decoration: none;
	color: black;
}

h2 {
	text-align: center;
}

h3 {
	text-align: center;
}

header{
	padding-bottom: 1px;
	text-align: center;
}


/********************************************************/
/*  start cheat code
/********************************************************/


.menu_entete, .menu_entete ul{
	padding: 0; /* pas de marge intérieure */
	margin: 0; /* ni extérieure */
	list-style: none; /* on supprime le style par défaut de la liste */
	line-height: 21px; /* on définit une hauteur pour chaque élément */
	text-align: center;/* on centre le texte qui se trouve dans la liste */
	z-index: 1000;
}

.menu_entete{ /* Ensemble du menu */
	font-weight: bold; /* on met le texte en gras */
	font-family: Arial; /* on utilise Arial, c'est plus beau ^^ */
	font-size: 12px; /* hauteur du texte: 12 pixels */
}

.menu_entete a{ /* Contenu des listes */
	display: block; /* on change le type d'élément, les liens deviennent des balises de type block */
	padding: 0px 50px 0px; /* aucune marge intérieure */
	background: #ccc; /* couleur de fond */        
	color: #000; /* couleur du texte */
	text-decoration: none; /* on supprime le style par défaut des liens (la plupart du temps = souligné) */
}

.menu_entete li{ /* Éléments des listes */      
	float: left; 
	/* pour IE qui ne reconnaît pas "transparent" */
	/* border-right: 1px solid #fff;  */	/* on met une bordure blanche à droite de chaque élément */
}

/* IE ne reconnaissant pas le sélecteur ">" */
html>body .menu_entete li{
	/* border-right: 1px solid transparent ; */ /* on met une bordure transparente à droite de chaque élément */
}

.menu_entete li ul{ /* Sous-listes */
	position: absolute; /* Position absolue */
	width: 144px; /* Largeur des sous-listes */
	/* left: -999em;  */ /* Hop, on envoie loin du champ de vision */
	visibility: hidden;
}


.menu_entete li ul li{ /* Eléments de sous-listes */
	/* pour ie qui ne reconnaît pas "transparent" (comme précédemment) */
	/* border-top: 1px solid #fff; */ /* on met une bordure blanche en haut de chaque élément d'une sous-liste */
}

/* IE ne reconnaissant pas le sélecteur ">" */
html>body .menu_entete li ul li{                
	/* border-top: 1px solid transparent; */ /* on met une bordure transparente en haut de chaque élément */
}

.menu_entete li ul ul {
	margin: -22px 0 0 144px ; /* On décale les sous-sous-listes pour qu'elles ne soient pas au dessus des sous-listes */ 
	/* pour IE qui ne reconnaît pas "transparent" (comme précédemment) */
	/* border-left: 1px solid #fff ; */ /* Petite bordure à gauche pour ne pas coller ... */      
}

/* IE ne reconnaissant pas le sélecteur ">" ... je me répète ;-) */
html>body .menu_entete li ul ul {
	/* border-left: 1px solid transparent ; */ /* on met une bordure transparente sur la gauche de chaque élément */
}

.menu_entete a:hover{
	background-color: #eee;
}

.menu_entete li:hover ul ul, .menu_entete li.sfhover ul ul /* Sous-sous-listes lorsque la souris passe sur un élément de liste */
{
	visibility: hidden; /* On expédie les sous-sous-listes hors du champ de vision */
}

.menu_entete li:hover ul, .menu_entete li li:hover ul, .menu_entete li.sfhover ul, .menu_entete li li.sfhover ul  /* Sous-listes lorsque la souris passe sur un élément de liste ET sous-sous-lites lorsque la souris passe sur un élément de sous-liste */
{
	visibility: visible;
	left: auto; /* Repositionnement normal */
	min-height: 0; /* Corrige un bug sous IE */
}


/********************************************************/
/*  end cheat code
/********************************************************/

/********************************************************/
/*  start cheat code: menu gauche
/********************************************************/


#menu{
	width: 100%;
}
.menu, .sousmenu{
	/* text-align:center; */
}
.menu{
	/* height:18px; */
	/* width:150px; */
	/* padding:2px 0; */
	background:#bbb;
	color:#000;
}
.sousmenu{
	/* height:18px; */
	/* width:150px; */
	/* padding:1px 0; */
	background:#ddd;
	color:#000;
}
.menu a{
	display:block;
	/* width:100%; */
	height:100%;
	color:#000;
	font-family:arial,sans-serif;
	font-size:12px;
	font-weight:bold;
	text-decoration:none;
	background:#bbb;
	margin-left: 5px;
	padding-bottom: 5px;
	padding-top: 5px;
}
.sousmenu a{
	display:block;
	/* width:100%; */
	height:100%;
	color:#000;
	font-family:arial,sans-serif;
	font-size:12px;
	font-weight:bold;
	text-decoration: none;
	background: #ddd;
	margin-left: 10px;
	padding-bottom: 5px;
	padding-top: 5px;
	padding-right: 5px;
}
.menu a:hover, .sousmenu a:hover/*, .menu a:active, .sousmenu a:active, .menu a:focus, .sousmenu a:focus */{
	/* animation-duration: 2s; */
	/* background: #fff; */
}

.menu a:hover{
	transition-duration: 0.5s;
	background: #ccc;
	padding-left: 5px;
	
}

.sousmenu a:hover{
	transition-duration: 0.5s;
	background: #eee;
	padding-left: 5px;
}

.plus_menu_gauche{
	display: inline-block;
	background :#aaa;
	text-align: center;
	width: 50%;
}

.plus_menu_gauche:hover{
	background :#ddd;
	transition-duration: 0.5s;
}

.moins_menu_gauche{
	display: inline-block;
	background :#aaa;
	text-align: center;
	width: 50%;
}

.moins_menu_gauche:hover{
	background :#ddd;
	transition-duration: 0.5s;
}

/********************************************************/
/*  end cheat code
/********************************************************/

.plus_section{
	display: inline-block;
	background: #aaa;
	margin-left: 50px;
	text-align: center;
	width: 100px;
}

.plus_section:hover{
	background :#ddd;
	transition-duration: 0.5s;
}

.moins_section{
	display: inline-block;
	background :#aaa;
	text-align: center;
	width: 100px;
}

.moins_section:hover{
	background :#ddd;
	transition-duration: 0.5s;
}

nav{
	background-color: #aaa;
	box-shadow: 2px 0px 2px silver;
	display: table-cell;
	/* float: left; */
	line-height: 1.6;
	min-width: 200px;
	min-height: 100%;
	vertical-align: top;
}

.p_section{
	font-weight: normal;
}

.preuve{
	font-weight: normal;
	display: none;
}

.preuve_number{
	counter-increment: preuve_number_counter;
	color: rgb(56, 120, 35);
	font-weight: bold;
	/* text-decoration: underline; */
}

.preuve_number:before{
	content: "Preuve " counter(chapitre_list_counter) "." counter(section_chapitre_counter) "." counter(preuve_number_counter) " : ";
}
.preuve_number:hover{
	background: #aaa;
}

.proposition{
	font-weight: normal;
	display: none;
}

.proposition_name{
	font-style: italic;
}

.proposition_number{
	counter-increment: proposition_number_counter;
	color: rgb(125, 0, 0);
	font-weight: bold;
	/* text-decoration: underline; */
}

.proposition_number:before{
	content: "Proposition " counter(chapitre_list_counter) "." counter(section_chapitre_counter) "." counter(proposition_number_counter) " : ";
}
.proposition_number:hover{
	background: #aaa;
}

section{
	display: table-cell;
	line-height: 1.6;
	/* margin-left: 220px; */
	/* padding-bottom: 20px; */
	width: 100%;
}

.section_chapitre{
	counter-increment: section_chapitre_counter;
	counter-reset: definition_number_counter;
	counter-reset: proposition_number;
	counter-reset: preuve_number;
	font-weight: bold;
	list-style-type: upper-roman;
}