html {
  scroll-behavior: smooth;
  font-family: 'Courier New', Courier, monospace;
  line-height: 1.5;
}
#navbar {
  position: fixed;
  min-width: 200px;
  top: 0px;
  left: 0px;
  width: 250px;
  height: 100%;
  border-right: solid;
  border-color: black;
}
header {
  color: black;
  padding: 10px;
  text-align: center;
  font-size: 1.5rem;

}
#navbar ul{
  padding: 0;
}

#navbar li{
  list-style-type: none;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  position: relative;
  width: 100%;
  margin-bottom: 5px;
}
#navbar a{
  display: block;
  text-decoration: none;
  color: black;
  padding: 5px 10px;
}
#navbar a:hover{
  background-color: rgb(216, 240, 223);
}

#main-doc {
  position: absolute;
  margin-left: 250px;
  padding: 20px;
}

code {
    display: block;
    text-align: left;
    white-space: pre-line;
    position: relative;
    word-break: normal;
    word-wrap: normal;
    line-height: 2;
    background-color: #e2e2e2;
    padding: 15px;
    margin: 10px;
    border-radius: 5px;
  }

  .dark {
    font-weight: 600;
  }

  .gray {
    color: white; 
    background-color: gray;
    border-radius: 2px;
  }

  @media only screen and (max-width: 815px) {
    /* For mobile phones */ 
    #navbar ul {
      border: 1px solid;
      height: 200px;
      overflow-x: hidden;
    }

    #navbar {
      position: absolute;
      top: 0;
      margin: 0;
      padding: 0;
      width: 100%;
      max-height: 280px;
      border: none;
      z-index: 1;
      border-bottom: 2px solid;
    }
    #main-doc {
      position: relative;
      margin-left: 0;
      margin-top: 280px;
    }

  }

  @media only screen and (max-width: 400px) {
    #main-doc {
      margin-left: -10px;
    }
    code {
      width: 100%;
      margin-left: -20px;
      padding: 15px; 
      padding-left: 10px;
      padding-right: 45px;
      min-width: 233px;
    }
  }