body{
    counter-reset: cnte;
    max-width:1400px;
    font-size: 20px;
    margin: 5%;
    margin-top: 2%;
}

.figure{
    text-align: center;
    font-size:18px;
    align-content: center;
    margin: auto;
    display: inline-block;
}

.definition {
    background-color: oldLace;
}

table.center {
    width:70%; 
    margin-left:15%; 
    margin-right:15%;
    margin-top:40px;
    color: #FF0000;
}

table.bis{
    width:70%; 
    margin-left:15%; 
    margin-right:15%;
    margin-top:40px;
    color: #FF0000;
}

td.bis {
    background-color: #AFEEEE;
    text-align:center;
}

table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
}

th, td {
    background-color: #AFEEEE;
}


img.right {
    float:right;
    margin: 0px 0px 20px 20px;
    padding: 8px 0px 20px 20px;
}


h1 {
    font-size: 30px;
    color: RoyalBlue;
    margin-bottom:18px;
    margin-top:18px;
}

p {
    text-align: justify;
    text-justify: inter-word;
    margin : 4px 0px 4px 20px;
    padding: 4px 40px 4px 20px;
}

ul {
    margin : 20px 40px 5px 40px;
    list-style-type: '- ';
}

li {
    padding-bottom: 8px;
    text-align: justify;
}

p.definition{
    background-color: oldLace;
    margin : 20px 0px 20px 20px;
    padding: 4px 40px 4px 20px;
}



p.proposition{
    background-color: #AFEEEE;   
}

p.proposition::before{
    counter-increment:cnte;
    color: #FF0000;
    content: "Proposition: " counter(cnte) ". ";
}

div.center {
    text-align: center;
    font-size:20px;
    margin-bottom: 10px;
}

em{
    font-style:normal;
    /*color:orangeRed;*/
    color:darkred;
}

strong{
    color:red;
}

.yellow{
    /*color:#FFC300;*/
    color:goldenrod;
}

.blue{
    color:blue;
    font-weight:bold;
}

.green{
    font-weight:bold;
    color:green;
}

var{
    font-style:normal;
    font-weight:bold;
    /*font-size:larger;*/
}

dep{
    color:teal;
}

.frac{
  display:inline-block;
  margin-left:.1em;margin-right:.1em;
  vertical-align:-64%;
  text-align:center;
}
.frac > .num, .frac > .den{
  display:inline-block;
  padding:0 .1em;
}
.frac > .fracbar {display:block;
  height:0;margin:0;border:0;
  border-bottom:.1em solid;
  overflow:hidden;
}
.den{vertical-align:top;}


.div_left {
    width: 30%;
    float: left;
    padding:1em 1em 1em 0px;
}

.div_right {
    width: 65%;
    float: right;
}