body {
  background-color: #ffffff;
  font-family: "Times New Roman", Times, Georgia, serif;
  font-size: 1.1em;
}

#menu {
  font-size: 120%;
  position: relative;
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  background-color: #cccccc;
  padding-bottom: .5em;
  width: 100%;
  min-height: 5em;
  float: left;
  margin: .5em;
  margin-bottom: 1em;
}

#header {
   padding: 10px 10px;
}

#main {
  padding: 20px 5% 20px 5%;
}

.keyword {
  font-style: italic;   
}

.text {
  width: 90%;
  margin-top: 2em;
  font-size: 120%;
}

a:hover, a:visited, a {
  text-decoration: none;
  color: #0000ff; 
}

.pin {
  position: absolute;
  top: -1em;
  left: 80%;
}

.def {
  margin: 0em;
  padding: 0em;
  pointer-events: none;
}

.def > .definition {
  pointer-events: auto;
}

.def:hover > .definition {
  border: 1px black solid;
}

body > .title {
  display: flex;
  align-items: center;
}

.center {
  text-align: center;
}

.main-title {
  padding-left: 2em;
  height: 3em;
}

.main-logo {
  width: 100pt;
}

.definition {
  /*position: relative;*/
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  /*background-color: #cceeff;*/
  background-color: #8bd9f7;
  padding: .5em; 
  padding-bottom: .5em;
  /*width: 26%;*/
  min-height: 5em;
  /*float: left;*/
  margin: .5em;
  margin-bottom: 1em;
}

.definition > .title {
  font-size: 1.5em;
  padding-bottom: 0em;
  margin-bottom: 0em;
  background-color: transparent;
}

.definition > .title + p, .property > .title + p {
  margin-top: .5em;
}

.property {
  /*position: relative;*/
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  /*background-color: #adf7b6;*/
  background-color: #8bd9f7;
  padding: .5em; 
  /*width: 26%;*/
  min-height: 5em;
  /*float: left;*/
  margin: .5em;
  margin-bottom: 1em;
  z-index: 500;
}

.property > .title {
  font-size: 1.5em;
  padding-bottom: 0em;
  margin-bottom: 0em;
  background-color: transparent;
}

.algo {
  /*position: relative;*/
  float: left;
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  /*background-color: #b083ed;*/
  background-color: #8bd9f7;
  padding: .5em; 
  width: 40%;
  min-height: 5em;
  /*float: left;*/
  margin: .5em;
  margin-bottom: 1.5em;
}

.algo > .title {
  font-size: 1.5em;
  padding-bottom: .5em;
  background-color: transparent;
}

.details {
  /*position: relative;*/
  float: left;
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  /*background-color: #b083ed;*/
  background-color: #ffffcc;
  padding: .5em; 
  width: 40%;
  min-height: 5em;
  /*float: left;*/
  margin: .5em;
  margin-bottom: 1.5em;
}

.details > .title {
  font-size: 1.5em;
  padding-bottom: .5em;
  background-color: transparent;
}

.det {
  font-family: bold;
}

.bloc {
  clear: both;
}

kbd, sub, sup, ul, li, p {
  background-color: transparent;
}

sub, sup {
  font-size: 50%;
}

div.rotate_0 {
  float: left;
  -ms-transform: rotate(5deg); 
  -webkit-transform: rotate(5deg); 
  transform: rotate(5deg);
}

div.rotate_1 {
  float: left;
  -ms-transform: rotate(-5deg); 
  -webkit-transform: rotate(-5deg);
  transform: rotate(-5deg);
}

div.rotate_2 {
}

.biblio {
  /*position: relative;*/
  border: 1px solid #BFBFBF;
  box-shadow: 10px 10px 5px #aaaaaa;
  border-radius: 15px;
  /*background-color: #f7f749;*/
  background-color: #8bd9f7;
  padding: .5em; 
  /*width: 46%;*/
  min-height: 5em;
  /*float: left;*/
  margin: .5em;
  margin-bottom: 1.5em;
}

.biblio > .article > .title {
  font-style: italic;
  padding-bottom: 0em;
}

.indent_1 {
  padding-left: 1em;
}

.indent_2 {
  padding-left: 2em;
}

.indent_3 {
  padding-left: 3em;
}

.indent_4 {
  padding-left: 4em;
}

#footer {
    clear: both;
    padding-left: 4%;
    text-align: center;
}

nav{
    width: 95%;
    margin: 0px 0px 20px 0px;
    background-color: white;
    text-align: center;
    /*position: sticky;*/
    top: 0px;
}

nav ul{
    list-style-type: none;
}

nav li{
    float: left;
    width: 13%;/*100% divisé par le nombre d'éléments de menu*/
    text-align: center;/*Centre le texte dans les éléments de menu*/
}

.onpage a {
    color: #888888;
}

/*Evite que le menu n'ait une hauteur nulle*/
nav ul::after{
    content: "";
    display: table;
    clear: both;
}

nav > a{
    display: block; /*Toute la surface sera cliquable*/
    text-decoration: none;
    color: black;
    border-bottom: 2px solid transparent;/*Evite le décalage des éléments sous le menu à cause de la bordure en :hover*/
    padding: 10px 0px;/*Agrandit le menu et espace la bordure du texte*/
}

nav a:hover{
    color: #888888;
    border-bottom: 2px solid #888888;
}

.sous {
display: none;
box-shadow: 0px 1px 2px #CCC;
background-color:white;
}

nav > ul li:hover .sous {
display: block;
}

.sous li {
float: none;
width:100%;
text-align: left;
}

.sous a {
padding: 10px;
border-bottom: none;
}
.sous a:hover{
border-bottom: none;
background-color:RGBa(200,200,200,0.1);
}
.deroulant > a::after{
content:" ▼";
font-size:12px;
}

.sous{
display: none;
box-shadow: 0px 1px 2px #CCC;
background-color:white;
position: absolute;
width: 100%;
z-index: 1000;
}

nav ul li {
float: left;
width: 13%;
text-align: center;
position: relative;
}

.LA {
    border-collapse: collapse;
}

.LA tr td {
   width: 1em;  
   text-align: center;
   border: 1px black solid;
}

.links {
    margin: auto;
    float: right;
}

.login {
    margin: auto;
    float: right;
}

.la0:hover, .la0:hover ~ .la0s, .la1:hover, .la1:hover ~ .la1s, .la2:hover, .la2:hover ~ .la2s, .la3:hover, .la3:hover ~ .la3s, .la4:hover, .la4:hover ~ .la4s, .la5:hover, .la5:hover ~ .la5s, .la6:hover, .la6:hover ~ .la6s, .la7:hover, .la7:hover ~ .la7s, .la8:hover, .la8:hover ~ .la8s, .la9:hover, .la9:hover ~ .la9s, .la10:hover, .la10:hover ~ .la10s, .la11:hover, .la11:hover ~ .la11s, .la12:hover, .la12:hover ~ .la12s, .la13:hover, .la13:hover ~ .la13s, .la14:hover, .la14:hover ~ .la14s, .la15:hover, .la15:hover ~ .la15s {
   background-color:yellow;   
}