#editor {
    height: 500px;
}

.tooltip {
    font-size: 1.25rem;
}

.tooltip-inner {
    min-width: 100px;
    max-width: 100%;
}

.popover {
    max-width: 100%;
}

.popover-body {
    font-size: 1.25rem;
}

.popover-header {
    font-size: 1.5rem;
}

code.nomover {
    color: darkgray;
}

.btn-heap {
    padding: 0.0rem 0.2rem;
    font-size: 0.8rem;
    border-color: navajowhite;
    background-color: navajowhite;
}

.btn-fold {
    vertical-align: middle;
    text-align: center;
    padding: 0;
    font-size: 0.9rem;
    width: 1.4rem;
    color: white;
    border-color: lightgray;
    background-color: lightgray;
}

.btn-fold:hover {
    color: white;
}

.btn-fold:focus {
    color: white;
}

.btn-mover {
    vertical-align: middle;
    text-align: center;
    padding: 0;
    font-size: 0.9rem;
    width: 1.4rem;
}

code {
    color: #606060;
}

html,
body {
    height: 100%; 
}

.heap-image {}

.t-step {}

.u-step {
    color: darkred
}

.full-height {
    height: 100%;
    height: -moz-calc(100vh - 56px);
    height: -webkit-calc(100vh - 56px);
    height: -o-calc(100vh - 56px);
    height: calc(100vh - 56px);
    max-height: calc(100vh - 56px);
}


.half-height {
    height: 50%;
    height: -moz-calc(50vh - 28px);
    height: -webkit-calc(50vh - 28px);
    height: -o-calc(50vh - 28px);
    height: calc(50vh - 28px);
}

.nounderline {
    text-decoration: none !important
}