/* The Modal (background) */
.modal_open_button {
  position: absolute;
  right: 10px;
  top: 50%;
  transform: translate(0, -50%);
  cursor: pointer;
  margin: auto;
  font-size: 23px;
}

.modal {
  display: none; /* Hidden by default */
  position: fixed; /* Stay in place */
  z-index: 100; /* Sit on top */
  left: 0;
  top: 0;
  width: 100%; /* Full width */
  height: 100%; /* Full height */
  overflow: auto; /* Enable scroll if needed */
  background-color: rgb(0,0,0); /* Fallback color */
  background-color: rgba(0,0,0,0.4); /* Black w/ opacity */
  -webkit-animation-name: fadeIn; /* Fade in the background */
  -webkit-animation-duration: 0.2s;
  animation-name: fadeIn;
  animation-duration: 0.2s
}

/* Modal Content/Box */
.modal-content {
  position: absolute;
  float: left;
  background-color: #fefefe;
  width: 240px;
  height: 100%;
  right: 0;
  top: 0;
  -webkit-animation-name: slideIn;
  -webkit-animation-duration: 0.2s;
  animation-name: slideIn;
  animation-duration: 0.2s
}

.modal-content-header {
  float: left;
  display: block;
  background-color: #0072ceff;
  width: 240px;
  height: 80px;
  line-height: 80px;
  padding: 0;
  color: white;
  text-indent: 10px;
  text-align: center;
  border-bottom: 1px dashed;
  border-color: black;
  font-size: 20px;
}

.header1 {
  top: 0;
}

.header1-logo {
  position: absolute;
  width: 200px;
  top: 40px;
  left: 120px;
  display: block;
  transform: translate(-50%, -50%);
}

.modal-content-button {
  float: left;
  display: block;
  background-color: #0072ceaa;
  width: 240px;
  right: 0;
  height: 50px;
  line-height: 50px;
  padding: 0;
  color: #ffffff;
  text-indent: 10px;
  border-bottom: 0.5px dashed;
  border-color: black;
  font-size: 18px;
  text-align: center;
}

.versions {
  background-color: #ffffff;
  color: black;
  border-color: black;
  cursor: pointer;
}

.modal-content-button:hover {
  color: #d65555ff;
}

/* The Close Button */
.close {
 color: #aaa;
 display: none;
 float: right;
 font-size: 28px;
 font-weight: bold;
}

.close:hover,
.close:focus {
 color: black;
 text-decoration: none;
 cursor: pointer;
}

/* Adjust the position of line numbers */
.codehilite {
    background-color: #f6f8fa !important;
    color: #333;
    font-family: 'Roboto Mono', monospace;
    padding: 10px 15px;
    border-radius: 4px;
    border: 1px solid #ccc;
    overflow-x: auto;
}


/* Original */
/* .codehilite .lineno::before {
    content: counter(linenumber);
    counter-increment: linenumber;
    padding-right: 1em;
    border-right: 1px solid #ddd;
    text-align: right;
    display: inline-block;
    width: 2em;
    margin-right: 10em;
} */

/* Add Animation */
@-webkit-keyframes slideIn {
  from {right: -240px; opacity: 1}
  to {right: 0; opacity: 1}
}

@keyframes slideIn {
  from {right: -240px; opacity: 1}
  to {right: 0; opacity: 1}
}

@-webkit-keyframes fadeIn {
  from {opacity: 0}
  to {opacity: 1}
}

@keyframes fadeIn {
  from {opacity: 0}
  to {opacity: 1}
}
