html {
  background-color: GhostWhite;
  height: 100dvh;
}

body {
  margin: 0px;
  font-family: "Garamond";
  font-size: 20px;
}

#header {
  z-index: 100;
  position: fixed;
  width: 100%;
  margin-top: 10px;
  font-size: 50px;
}

#menu {
  background-color: Coral;
  z-index: 90;
  position: fixed;
  width: 300px;
  height: 100%;
  padding: 120px 10px 0px;
  text-align: center;
}

#corps {
  margin-left: 330px;
  padding-top: 120px;
  padding-right: 20px;
}

.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black; /* Add dots under the hoverable text */
  cursor: pointer;
}

.tooltiptext {
  visibility: hidden; /* Hidden by default */
  width: 400px;
  top: 100%;
  left: 65%;
  margin-left: -200px; /* Use half of the width, to center the tooltip */
  background-color: Gainsboro;
  color: black;
  font-size: 14px;
  text-align: justify;
  padding: 5px;
  border-radius: 6px;
  position: absolute;
  z-index: 90; /* Ensure tooltip is displayed above content */
}

.tooltip:hover .tooltiptext {
  visibility: visible;
}

td {
  padding-right: 10px;
  vertical-align: top;
}