html,body{
    min-width:290px;
   /* margin; 0;
    padding: 0;
    margin-left: 10px;*/
      color: #000000;
      background-color: #F4F4F2;
      font-family: "Times New Roman", Times, serif;
      Line-height: 1.5;
      font-size: 18px
      }
  
  #navbar{
    position:fixed;
    min-width:290px;
    top:0px;
    left:0px;
    width:300px;
    height:100%;
    border-right:solid;
    border-color:rgba(0,22,22,0.4)
    
    }
  
   header{
    color:red;
    font-size: 30px;
    margin:10px;
    text-align:center;
    /*font-size:1.8em;*/
    font-weight:bold;
    /*C
    border: 3px solid #73AD21;*/
   
  }
  
  #main-doc {
    position: absolute;
    margin-left: 300px;
    padding: 10px;
    margin-bottom: 110px;
  }
  #main-doc header{
    text-align:left;
    margin:0px;
    }
  
  .main-section header{
      /*position: relative;*/
    left: 300px;
    /*border: 3px solid #73AD21;*/
  
  }
  
  #navbar ul{
    height:88%;
    overflow-y:auto;
    overflow-x:hidden;
  }
  
  #navbar li{
    color: blue;
    border:1px solid;
    border-bottom-width:1px;
    padding:7px;
    padding-left:45px;
    list-style: none;
    position:relative;
   left:-50px;
    width:100%;
  }
  
  #navbar a{
    color: #4d4e53;
      text-decoration:none;
      cursor:pointer;
  } 
  
  .nav-link {
    color: black
  }
  
  /*#main-doc{
    position: absolute;
    margin-left:310px;
    padding:20px;
    margin-bottom:110px;*/
  
  
  section article{
    color: #000000;
    margin:15px;
    font-size:0.96em;
    /*position: relative;
    left: 300px;
    /*border: 3px solid #73AD21;*/
    }
  
  section li {
    margin:15px 0px 0px 20px;
  }
  
  code{
    display:block;
      text-align: left;
    white-space: pre;
    position: relative;
      word-break: normal;
      word-wrap: normal;
      line-height: 2;
      background-color:#932e2e2e;
    padding:15px;
    margin:10px;
      border-radius:5px;
  }
  
  @media only screen and (max-width: 815px) {
      /* For mobile phones: */
    #navbar ul{
    border:1px solid;
      height:207px;
    }
      #navbar{
        background-color:white;
        position:absolute;
        top:0;
        padding:0;
        margin: 0;
        width:100%;
        max-height:275px;
        border:none;
        z-index:1;
        border-bottom:2px solid;
      }
    #main-doc{
      position: relative;
      margin-left:0px;
      margin-top:270px;
    }
    #main-doc section {
  /*     padding-top: 240px; */
    }
  }
  @media only screen and (max-width: 400px) {
    #main-doc{
      margin-left:-10px;
    }
    code{
      margin-left:-20px;
      width:100%;
      padding:15px;
      padding-left:10px;
      padding-right:45px;
      min-width:233px;
    }
  }