html { font-size: 120%;}
body {  
    font-family: "Fira Sans", Arial, sans-serif;
    /*font-family: Arial, verdana, sans-serif;*/
    font-size: 0.75em;
    background: #fbf5db; 
}

h1 { 
  color: seagreen;
  text-align: center;
  font-size: 1.4em; 
}

li {
  color: dimgray;
}

h2 {
  font-size: 140%;
  font-weight: bold;
  color: dimgray;
}

h3 {
  font-size: 100%;
  color: #8A9A5B; /* moss green */
}

div.body {
  width: 800px;
  margin-left: auto;
  margin-right: auto;
  padding: 6px 0px 0px 0px;
}

div.body div.right_menu {
  width: 500px;
  float: right;
  padding: 5px; 
} 

.toc {
  width: 400px;
  margin-left: auto;
  margin-right: auto;
  padding: 6px 0px 0px 0px;
}

pre {
  border: 1px dotted gray;
  background-color: #ececec;
  color: #023020; /* dark green */
  padding: 0.5em;
}

a {
  color: tomato;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.contenu{
  margin-left: 5rem;
  margin-right: 5rem;
  margin-top: 2rem;
  margin-right: 2rem;
  /*color:#fbf5db;*/ /* dimgrey */
}

.footer{
  margin: 2rem;
  text-align: center;
  font-size: 0.8rem;
}

p {
  color: #023020;
}

em {
  color: #023020;
}

/* buttons -------------------- */
button.green {
  background-color: mediumseagreen;
  color: white;
  padding: 5px 12px 5px 12px;
  box-shadow: none;
  border-radius: 0px;
  border: 0;
}

button.green:hover {
  background-color: #98FB98; /* mintgreen */
  color: black;
}

button.red {
  background-color: Tomato;
  color: white;
  padding: 5px 12px 5px 12px;
  box-shadow: none;
  border-radius: 0px;
  border: 0;
}

button.red:hover {
  background-color: #ffa190;
  color: black;
}

button.blue {
  background-color: #4778ff;
  color: white;
  padding: 5px 12px 5px 12px;
  box-shadow: none;
  border-radius: 0px;
  border: 0;
}

button.blue:hover {
  background-color: #b5c9ff;
  color: black;
}

/* ------------------- tables -------------------------- */
table {
  margin: auto;
}

th {
  background-color: mediumseagreen;
  color: white;
  font-size: 120%;
  padding: 10px;
}

tr {
  background-color: #C1E1C1;
  border-bottom: 2px dotted mediumseagreen;
  color: #5F8575; /* eucalyptus */

}

td {
padding: 10px;  
}

td.hot {
  background-color:Tomato;
  color: white;
  padding: 10px 4px 10px 4px;
}

td.na {
  background-color:LightGray;
  color: Gray;
  padding: 10px 4px 10px 4px;
}

td.cold {
  background-color:DodgerBlue;
  color: white;
  padding: 10px 4px 10px 4px;
}

td.fine {
  background-color:MediumSeaGreen;
  color: white;
  padding: 10px 4px 10px 4px;
}


/* ------------ Navbar ------------ */
.navbar{  
  display: flex;  
  align-items: center;  
  justify-content: space-between;  
  height: 28px;  
  background:seagreen;
  padding: 15px;  
  font-size: 120%;  
}  

.navbar__right{  
  display: flex;  
}  

.navbar a {
  color: white;
  text-decoration: none;  
}

.navbar__left a{  
  text-decoration: none;  
  font-size: 120%;  
  margin-right: 10px;  
  color: white;  
  transition: all 100ms;  
}

.navbar__right a{  
  text-decoration: none;  
  font-size: 120%;  
  margin-right: 10px;  
  color: white;  
  transition: all 100ms;  
}

.navbar__right a:hover{  
  text-decoration: underline;  
  font-weight: bold;  
} 

* {box-sizing:border-box}

/* ------------ Slideshow ------------ */
.slideshow-container {
  position: relative;
  margin-top: 0px;
  /*margin: auto;*/
}

.mySlides {
  /* Hide the images by default */
  display: none;
}

.mySlides img {
  width: 100vw;
  height: 100vh;
  object-fit: cover; 
}

.prev, .next {
  cursor: pointer;
  position: absolute;
  top: 50%;
  width: auto;
  margin-top: -22px;
  padding: 16px;
  color: tomato; /* gray; */
  font-weight: bold;
  font-size: 18px;
  transition: 0.6s ease;
  border-radius: 0 3px 3px 0;
  user-select: none;
}

.next {
  right: 0;
  border-radius: 3px 0 0 3px;
}


.prev:hover, .next:hover {
  /* On hover, add a black background color with a little bit see-through */
  background-color: rgba(0,0,0,0.8);
}

/* The dots/bullets/indicators */
.dot {
  cursor: pointer;
  height: 15px;
  width: 15px;
  margin: 0 2px;
  background-color: #bbb;
  border-radius: 50%;
  display: inline-block;
  transition: background-color 0.6s ease;
}

.active, .dot:hover {
  background-color:  #717171;
}

/* Fading animation */
.fade {
  animation-name: fade;
  animation-duration: 1.5s;
}

@keyframes fade {
  from {opacity: .4}
  to {opacity: 1}
}

/* -------------------- avatar -------------------- */
.avatar img {
  object-fit: cover;
  border-radius:50%;
  width: 150px;
  height: 150px;
}