@import url(https://maxcdn.bootstrapcdn.com/bootstrap/3.4.0/css/bootstrap.min.css);
@import url(https://cdnjs.cloudflare.com/ajax/libs/jstree/3.2.1/themes/default/style.min.css);
@import url(https://www.w3schools.com/w3css/4/w3.css);
@import url(https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css);
#progress-bar {
    position: absolute;
    top: 95%;
    left: 5%;
    width: 90%;
    height: 3%;
}

.annotation {
    position: absolute;
    top: 0;
    left: 0;
    z-index: 1;
    margin-left: 15px;
    margin-top: 15px;
    padding: 1em;
    /* width: 200px; */
    color: #fff;
    background: rgba(0, 0, 0, 0.8);
    border-radius: .5em;
    font-size: 12px;
    line-height: 1.2;
    transition: opacity 1s;
    /* pointer-events: none; */
}

.marker {
    position: absolute;
    top: -25px;
    left: -25px;
    width: 30px;
    height: 30px;
    border: 2px solid #000;
    border-radius: 50%;
    font-size: 16px;
    line-height: 25px;
    text-align: center;
    background: rgba(255, 0, 0, 0.8);
}

.menu {
    z-index: 1000;
    box-shadow: 0 4px 5px 3px rgba(0, 0, 0, 0.2);
    position: fixed;
    display: none;
    background-color: #fff;
    padding: 10px 5px 0px 5px;
 }

.menu-options {
    list-style: none;
    padding: 0px 0px 0px 0px;
    z-index: 1;
}

.menu-option {
    font-weight: 500;
    z-index: 1;
    font-size: 14px;
    padding: 10px 40px 10px 20px;
    cursor: pointer;
    text-align: left;
}

.menu-option:hover {
    background: rgba(0, 0, 0, 0.2);
}

.tip {
    z-index: 1000;
    box-shadow: 0 4px 5px 3px rgba(0, 0, 0, 0.2);
    position: fixed;
    display: none;
    background-color: #fff;
    padding: 5px 5px 5px 5px;
 }

.tip-options {
    list-style: none;
    padding: 0px 0px 0px 0px;
    z-index: 1;
}

.tip-option {
    font-weight: 500;
    z-index: 1;
    font-size: 14px;
    padding: 10px 10px 10px 10px;
    cursor: pointer;
    text-align: left;
}

.tip-option:hover {
    background: rgba(0, 0, 0, 0.2);
}

.tree {
    position: absolute;
    max-height: 93.5%;
    top: 6.5%;
    left: 0%;
    cursor: pointer;
    overflow-x: hidden;
    overflow-y: scroll;
    border: solid 1px;
    background-color: #eeeeeea6;
    display: none;
}

button:active {
    /* box-shadow: 0 2px #808080; */
    transform: translateY(2px);
}

.toolbar {
    background-color: rgba(231, 224, 224, 0.24);
    margin-left: 49px;
    position: absolute;
}

.menubutton{
    position: absolute;
    background-color: rgba(255, 255, 255, 0);
    width: 49px;
    height: 38px;
    border: none;
}

.menubutton:hover{
    background-color: rgba(160, 157, 157, 0.5);
}