body {
    padding: 0px;
    margin: 0px;
    overflow: hidden;
}

input {
    cursor: pointer;
}

h1, h2, h3, h4, h5, h6 {
    margin: 0px;
    padding: 0px;
    font-weight: normal;
}

.header_title {
    font-size: 120%;
    font-weight: bold;
    padding-bottom: 5px;
    margin-top: -10px;
}


.panel {
    position: fixed;
    padding: 15px;
    background-color: rgba(3, 9, 15, 0.75);
    color: #fff;
    border-radius: 8px;
    box-shadow: 5px 5px 10px rgb(0, 247, 255);
    cursor: default;
}

.right_panel {
    width: 250px;
    right: 10px;
}

#algorithm_panel {
    right: 20px;
    top: 20px;
}

#instructions_panel {
    top: 10px;
    left: 20px;
    width: 450px;
}

#detail_panel {
    top: 200px;
    left: 20px;
    width: 250px;
}

#hide_detail {
    position: absolute;
    right: 25px;
    top: 10px;
    font-size: 90%;
    cursor: pointer;
}

#hide_instructions {
    position: absolute;
    right: 25px;
    top: 10px;
    font-size: 90%;
    cursor: pointer;
}

#hide_instruction:hover {
    color: #fff;
    text-decoration: underline;
}

.option_header {
    font-size: 80%;
    margin-left: 20px;
}

.option_label {
    cursor: pointer;
}

button {
    border: none;
    background: rgba(255,255,0, 0.9);
    border-radius: 5px;
    font-size: 90%;
    cursor: pointer;
    padding: 2px 8px;
    margin: 0 2%;
    width: 28%;
}

button:hover {
    background: rgba(255, 255, 255, 0.9);
}

.finder_section {
    border: solid 1px #ddd;
    border-radius: 5px;
    margin: 5px;
}

.sub_options {
    padding: 2px;
    font-size: 14px;
    margin: 2px 30px 0;
}

#stats {
    position: fixed;
    bottom: 50px;
    left: 45px;
    color: maroon;
    font-size: 95%;
    padding: 6px;
    background: rgba(255, 255, 255, 0.5);
    border-radius: 6px;
}

a {
    color: #ffff00;
}

footer {
    color: rgb(247, 251, 0);
    font-size: 70%;
    text-align: center;
    position: fixed;
    width: 200px;
    bottom: 10px;
    left: 50%;
    margin-left: -100px;
    background: rgba(255, 255, 255, 0.205);
    padding: 5px;
    border-radius: 100px;
}

.black {
    color: #090cc8;
}

.yellow {
    color: #ffff00;
}

.blue {
    color: #00ffff;
}

.spinner {
    width: 2em;
}