.h1, .h2, .h3, h1, h2, h3 {
    margin-top: -6px !important;
    margin-bottom: 10px;
}




/* The checkbox_container */
.checkbox_container {
    display: block;
    position: relative;
    padding-left: 35px;
    margin-bottom: 12px;
    cursor: pointer;
    font-size: 15px;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

/* Hide the browser's default checkbox */
.checkbox_container input {
    position: absolute;
    opacity: 0;
    cursor: pointer;
}

/* Create a custom checkbox */
.checkmark {
    position: absolute;
    top: 0;
    left: 0;
    height: 23px;
    width: 23px;
    background-color: #eee;
}

/* On mouse-over, add a grey background color */
.checkbox_container:hover input ~ .checkmark {
    background-color: #ccc;
}

/* When the checkbox is checked, add a blue background */
.checkbox_container input:checked ~ .checkmark {
    background-color: #137bf3;
}

/* Create the checkmark/indicator (hidden when not checked) */
.checkmark:after {
    content: "";
    position: absolute;
    display: none;
}

/* Show the checkmark when checked */
.checkbox_container input:checked ~ .checkmark:after {
    display: block;
}

/* Style the checkmark/indicator */
.checkbox_container .checkmark:after {
    left: 9px;
    top: 5px;
    width: 5px;
    height: 10px;
    border: solid white;
    border-width: 0 3px 3px 0;
    -webkit-transform: rotate(45deg);
    -ms-transform: rotate(45deg);
    transform: rotate(45deg);
}

/* select option */
select.input-sm {
    height: 30px !important;
}


.version_class {
    position: absolute;
    text-align: left;
    margin-top: 20px;
    width: 100%;
}

.small_version {
    font-size: 75% !important;
    font-weight: bold;
    color: rgba(0, 0, 0, 0.4) !important;
    text-align: left;
    margin-left: -88%;

}

.navbar {
    margin-bottom: 2px !important;
}

.release_header {
    background-color: #ffffff !important;
    padding-top: 15px;
    border-top-left-radius: 10px !important;
    border-top-right-radius: 10px !important;
}

.release_card_header {
    font-size: 2.5em;
}

.text-lg {
    font-size: 18px;
}