body {
  /* background-color: #f6f6f6; */
  color: black;
  font-family: "Open Sans", sans-serif;
  line-height: 1.5;
  margin: 0;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: "Archivo", sans-serif;
  font-weight: 700;
}

main {
  margin-left: 8em;
  margin-right: 8em;
}

header {
  padding: 0.5em 0.5em 0.5em 1.4em;
  color: white;
  font-weight: bold;
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: flex-end;
  background-color: #800080;
  background-image: -webkit-gradient(
    linear,
    left top,
    right top,
    from(purple),
    to(#cc55cc)
  );
  background-image: -webkit-linear-gradient(left, purple, #cc55cc);
  background-image: -o-linear-gradient(left, purple, #cc55cc);
  background-image: linear-gradient(90deg, purple, #cc55cc);
  height: 6em;
}

header div {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  width: 16em;
  margin-left: 1.4em;
  margin-top: 0;
  height: 100%;
}

header h1 {
  font-size: 2em;
  text-transform: none;
  padding-bottom: 0px;
  padding-left: 0px;
  margin: 0px;
  color: white;
}

header h2 {
  font-size: 1em;
  text-transform: none;
  padding-bottom: 0px;
  margin-bottom: 0px;
  color: white;
  font-family: "Open Sans", sans-serif;
  font-weight: 300;
}

nav {
  display: flex;
  flex-direction: row;
  justify-content: flex-end;
  height: 32px;
  padding-right: 2em;
  margin-right: 2em;
  display: none;
}

nav span {
  margin-right: 20px;
  border-radius: 0px;
  border-bottom: 3px solid white;
}
nav a {
  color: white;
  margin-right: 20px;
  padding-bottom: 5px;
}
.navigation a:hover {
  color: white;
  border-bottom: 3px solid white;
}

.navigationMobile a:hover {
  color: white;
}

footer {
  padding: 0.5em 0.5em 0.5em 1.4em;
  color: white;
  background-color: purple;
  padding: 0.8em;
  text-align: center;
  margin-top: 3em;
  font-size: 0.8em;
}

footer svg {
  width: 0.9em;
  height: 0.9em;
  fill: white;
  stroke: white;
}

h1 {
  padding-left: 0.2em;
  text-transform: uppercase;
  font-size: 120%;
  color: purple;
}

.title {
  display: flex;
  align-items: center;
  padding-left: 0.4em;
}

h2 {
  color: purple;
  margin-block-start: 0;
  font-size: 120%;
}

h2 a:hover {
  background-color: white;
  border-radius: 0px;
}

h3 {
  color: black;
}

h3 a {
  color: black;
}

h3 a:hover {
  background-color: white;
  border-radius: 0px;
}

h4 {
  color: black;
  border-left: 0.3em solid purple;
  padding-left: 0.2em;
}

h4 a {
  color: black;
}

h4 a:hover {
  background-color: white;
  border-radius: 0px;
}

a {
  color: #cc55cc;
  font-weight: bold;
  text-decoration: none;
}

a:hover {
  color: #12e712;
}

span.file {
  font-family: mono;
}

div {
  margin-top: 1em;
}

section {
  background-color: white;
  border-radius: 0.7em;
  padding: 2em;
  /* box-shadow: 2px 2px 10px 0 rgba(0, 0, 0, 0.2); */
  margin-bottom: 0.4em;
  border: 1px solid purple;
}

section pre,
code {
  display: block;
  border-radius: 0.2em;
  padding: 0.8em;
  margin-top: 0.8em;
  margin-bottom: 0.8em;
  border: 0.1em solid lightgray;
  background-color: #f6f6f6;
  line-height: normal;
  color: black;
}

.metrics h2 {
  margin-bottom: 0;
}

.metrics td {
  padding: 0.3em;
}

.metrics td:first-child {
  min-width: 12em;
}

.metrics table {
  border-radius: 0.2em;
  border: 0.1em solid lightgray;
  margin-bottom: 1.5em;
}

thead {
  background-color: #f6f6f6;
  font-weight: bold;
}

td.na {
  background-color: #f6f6f6;
}

td.ok {
  background-color: #cfc;
}

td.ok_justified {
  background-color: #ccf;
}

td.nok {
  background-color: #fcc;
}

.tip {
  position: relative;
}

.tip:hover {
  z-index: 1000;
  position: relative;
}

.tip:hover:after {
  display: block;
}

.tip:hover:before {
  display: block;
}

.tip:hover {
  text-decoration: none;
}

.tip:after {
  content: attr(tip);
  position: absolute;
  padding: 0.5em;
  margin: 0.2em;
  display: none;
  background-color: white;
  top: 1em;
  left: 2.5em;
  border-radius: 0.2em;
  border: 0.1em solid lightgray;
  width: 25em;
  box-shadow: 3px 3px 4px rgba(0, 0, 0, 0.65);
}

/* Here the code for the burger menu */

/* Add animation (Chrome, Safari, Opera) */
@-webkit-keyframes example {
  from {
    right: -200px;
    opacity: 0;
  }
  to {
    right: 0px;
    opacity: 1;
  }
}

/* Add animation (Standard syntax) */
@keyframes example {
  from {
    right: -200px;
    opacity: 0;
  }
  to {
    right: 0px;
    opacity: 1;
  }
}

@media only screen and (min-width: 992px) {
  /* For desktop */
  .navigation {
    display: block;
  }
}

@media only screen and (max-width: 992px) {
  /* For mobile phones and tablets */
  .navigationMobile {
    height: 100%;
    display: flex;
    flex-direction: column;
    justify-content: space-around;
  }

  main {
    margin-left: 0.5em;
    margin-right: 0.5em;
  }

  nav {
    padding-right: 0;
    margin-right: 0;
  }
  header div {
    margin-left: 0;
  }

  section {
    padding: 1em;
  }
}

/* The modal's background */
.modal {
  display: none;
  position: fixed;
  left: 0;
  top: 0;
  width: 100%;
  height: 100%;
  overflow: auto;
  margin: 0;
  padding: 0;
}

/* Display the modal when targeted */
.modal:target {
  position: absolute;
  display: block;
}

/* The modal box */
.modal-dialog {
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 0;
  background-color: rgb(0, 0, 0);
  background-color: rgba(0, 0, 0, 0.4);
}

/* The modal's content */
.modal-content {
  position: absolute;
  top: 0;
  right: 0;
  margin: 0;
  background-color: #f3f3f3;
  padding: 0 0 0 40px;
  outline: 0;
  width: 250px;
  float: right;
  height: 100%;
  color: white;

  /* Add animation */
  -webkit-animation-name: example; /* Chrome, Safari, Opera */
  -webkit-animation-duration: 1 s; /* Chrome, Safari, Opera */
  animation-name: example;
  animation-duration: 0.5s;
  background-color: purple;
}

.modal-content{
  display: flex;
  flex-direction: column;
}

.modal-content p{
  margin-top: 40px;
}

.modal-content a{
  color: white;
}

.modal-content a:hover{
  color: white;
}

/* The button used to close the modal */
.closebtn {
  font-size: 60px;
  line-height: 60px;
  font-weight: bold;
  padding: 0;
  display: block;
  text-align: right;
  margin: 20px 30px 0 0;
}

.container {
  display: flex;
  flex-direction: column;
}

.container a {
  margin-bottom: 20px;
  text-transform: uppercase;
}