ul.tab {
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
    border: 1px solid #ccc;
    background-color: #f1f1f1;
}

/* Float the list items side by side */
ul.tab li {float: left;}

/* Style the links inside the list items */
ul.tab li a {
    display: inline-block;
    color: black;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
    transition: 0.3s;
    font-size: 17px;
}

/* Change background color of links on hover */
ul.tab li a:hover {
    background-color: #ddd;
}

/* Create an active/current tablink class */
/* ul.tab li a:focus, .active {
    background-color: #ccc;
} */
/* updated by bx */
ul.tab li a:focus, .active {
    background-color: #c7e7fd;
}

/* Style the tab content */
.tabcontent {
    display: none;
    padding: 6px 12px;
    -webkit-animation: fadeEffect 1s;
    animation: fadeEffect 1s;
}

@-webkit-keyframes fadeEffect {
    from {opacity: 0;}
    to {opacity: 1;}
}

@keyframes fadeEffect {
    from {opacity: 0;}
    to {opacity: 1;}
}

/* Style jumbotron padding */
/* ori */
/* .jumbotron {
    padding-top: 20px;
    padding-bottom: 20px;
    padding-right: 20px;
    padding-left: 20px;
} */

/* updated by bx */
.jumbotron {
    padding-top: 20px;
    padding-bottom: 20px;
    padding-right: 0px;
    padding-left: 0px;
}



/* added by bx */



.nav-link-wider {
    padding-left: 1.5rem;
    padding-right: 1.5rem;
    min-width: 240px;
    text-align: center;
}

.dropdown-menu {
    min-width: 240px;
}

.word-highlight_independent {
    color: #28a745;
    font-weight: 600;
    /* text-shadow: 0 1px 2px rgba(0,0,0,0.1); */
}



.word-highlight_dependent {
    color: #007bff;
    font-weight: 600;
    /* text-shadow: 0 1px 2px rgba(0,0,0,0.1); */
}

.small-text {
    font-size: 0.65em;
    color: #0596f7;
}


/* above added by bx */