#main{
    display: flex;
}

form{
    margin-bottom: 20px;
    margin-right: 20px;
    
}

#statute-container{
    flex: 2;
    max-height: 90vh;
    overflow: auto;
    margin: auto;
    padding-right: 30px;
    padding-left: 10px;
    text-align: justify;
}


#helper-container{
    flex: 1;
    margin-left: 10px;
    margin-top: 20px;
}

.helper-table{
    border-radius: 10px;
    padding: 15px;
    margin-right: 20px;
    max-height: 70vh;
    overflow: auto;
    border: ridge;
}

.tab {
    border: 1px solid #ccc;
    background-color: #f1f1f1;
    border-radius: 3px !important;
    display: flex;
    padding: 0 !important;
  }
  
  /* Style the buttons inside the tab */
  .tab button {
    flex: 1;
    background-color: inherit;
    border: none;
    outline: none;
    cursor: pointer;
    transition: 0.3s;
    font-size: 17px;
  }
  
  /* Change background color of buttons on hover */
  .tab button:hover {
    background-color: #ddd;
  }
  
  /* Create an active/current tablink class */
  .tab button.active {
    background-color: #b4b4b4;
  }


.def-entry{
    margin-bottom: 10px;
    margin-left: 5px;
    margin-right: 5px;
}

.content-entry{
    margin-left: 5px;
    margin-right: 5px;
    margin: 3px;
    font-size: 10px;
}

.content-entry:hover{
    cursor: pointer;
    background-color: aqua;
}

span:hover{
    background-color: aqua;
    cursor: pointer;
    
}

.base-title{
    padding: 20px 0 20px 0;
    font-weight: bold;
}

.article-title{
    font-size: 16px;
}

.level-1{
    font-size: 14px;
}

.level-2{
    margin-left: 20px;
}

.definition{
    font-weight: bold;
}