/* Grouped Aggregates: Style Group Button. */

.mini-button {
    padding: 4px 10px;
    background-color: #999;
    font-weight: 400;
    font-size: 9px;
    letter-spacing: 0.5px;
    color: #fff;
    border-radius: 9px;
    border: none;
    line-height: 9px;
    cursor: pointer;
}

.mini-button:focus, .mini-button:hover {
    background-color: #417690;
    outline: none
}

.active-mini-button {
    padding: 4px 10px;
    background: #5AAC44;
    font-weight: 400;
    font-size: 9px;
    letter-spacing: 0.5px;
    color: #fff;
    border-radius: 9px;
    border: none;
    line-height: 9px;
    cursor: pointer;
}

/* object tools */

/* Add paddings between object tool buttons. */
.object-tools {
    margin-top: -52px;
    height: 40px;
    width: 58%;
    overflow: auto;
}

.object-tools li {
    margin-top: 6px;
    margin-bottom: 16px;
    margin-right: 8px;
    float: right;
}

/* django-admin-index */

/* Prevent sticky header. */
#header {
    position: initial;
}
.dropdown-menu {
    position: initial;
}
.breadcrumbs {
    position: initial;
}
/* Make navigation dropdown 80% screen height and scrollable. */
.dropdown-menu__drop {
    max-height: 80vh;
    overflow: auto;
}


.vertical-right-aligned-button {
    transform: rotate(-90deg);
    position: fixed;
    right: -24px;
    top: 142px;
    z-index: 100;
    opacity: 0.45;
    height: 38px;
    background-color: #417690;
    color: #fff;
    border: none;
    cursor: pointer;
    font-size: 12px;
}


.vertical-right-aligned-button:hover {
    transform: rotate(-90deg);
    position: fixed;
    right: -24px;
    top: 142px;
    z-index: 100;
    opacity: 0.9;
    height: 38px;
    background-color: #417690;
    color: #fff;
    border: none;
    cursor: pointer;
    font-size: 12px;
}