<commit_before>/***************************
Styles for macro nav()
****************************/

body {
    // generic:
    --lzy-nav-txt-size: 14pt;
    --lzy-nav-txt-color: inherit;
    //--lzy-nav-bg-color: white;
    //--lzy-nav-elem-bg-color: #eee;
    --lzy-nav-elem-bg-hover-color: #e4faff;
    //--lzy-nav-curr-elem-bg-color: #eee;
    //--lzy-nav-curr-elem-border-color: #888;
    --lzy-nav-focus-color: magenta;
    //--lzy-arrow-size: 2em;
    --lzy-nav-line-height: 1.2em;
    --lzy-nav-elem-height: 2em;
    --lzy-nav-sub-width: 15em;
    --lzy-nav-sub-bg-color: #fff;

    // lzy-nav-top-horizontal:
    --lzy-nav-top-horizontal-col-gap: 10px;
    --lzy-nav-top-horizontal-padding: 0.5em;
    //--lzy-nav-top-horizontal-height: var(--lzy-nav-elem-height);
    --lzy-nav-top-horizontal-first-indent: 1.25em;
    --lzy-nav-top-horizontal-indent-step: 1.5em;
    --lzy-nav-top-horizontal-arrow-offset: -1.4em;
    --lzy-nav-top-horizontal-sub-bg-color: white;


    // lzy-nav-accordion:
    --lzy-nav-accordion-first-indent: 24px;
    --lzy-nav-accordion-step: 30px;
    --lzy-nav-accordion-elem-height: var(--lzy-nav-elem-height);
    --lzy-nav-accordion-trans-speed: 0.2s;
    --lzy-nav-accordion-arrow-offset: -1.5em;

    // lzy-nav-indented-no-arrow:
    --lzy-nav-first-indent: 0em;
    --lzy-nav-indent-step: 1.2em;

    // mobile header:
    --lzy-mobile-header-font-size: 8vw;
    --lzy-mobile-header-height: 16vw; //3em;
    --lzy-mobile-header-txt-color: #ddd;
    --lzy-mobile-header-bg-color: #444;
    --lzy-mobile-bg-color: #fff;

    --lzy-smallscreen-txt-color: #fff;
    --lzy-smallscreen-bg-color: #555;
    
    // small screen footer
    --lzy-mobile-footer-txt-color: #fff;
    --lzy-mobile-footer-bg-color: #555;

    --lzy-footer-txt-color: #555;
    --lzy-mobile-footer-height: 3em;
}



//$accordionX1: var(--lzy-nav-accordion-first-indent);
//$accordionX2: calc(var(--lzy-nav-accordion-first-indent) + var(--lzy-nav-accordion-step));
//$accordionX3: calc(var(--lzy-nav-accordion-first-indent) + 2 * var(--lzy-nav-accordion-step));
//$accordionX4: calc(var(--lzy-nav-accordion-first-indent) + 3 * var(--lzy-nav-accordion-step));
//$accordionX5: calc(var(--lzy-nav-accordion-first-indent) + 4 * var(--lzy-nav-accordion-step));
//
//$slidedownX1: var(--lzy-nav-top-horizontal-first-indent);
$slidedownX2: var(--lzy-nav-top-horizontal-first-indent);
$slidedownX3: calc(var(--lzy-nav-top-horizontal-first-indent) + var(--lzy-nav-top-horizontal-indent-step));
$slidedownX4: calc(var(--lzy-nav-top-horizontal-first-indent) + 2 * var(--lzy-nav-top-horizontal-indent-step));
$slidedownX5: calc(var(--lzy-nav-top-horizontal-first-indent) + 3 * var(--lzy-nav-top-horizontal-indent-step));

$xCorr: 1.55em;


// === Generic Nav ===================
#lzy .lzy-nav-wrapper {
    .lzy-nav-menu-button {
        display: none;
    }
    a:focus {
        box-shadow: inset 0 0 4px magenta;
        box-shadow: inset 0 0 4px var(--lzy-nav-focus-color);
        outline: none;
    }
}

#lzy .lzy-nav {
    ol, li, a {
        display: block;
        padding: 0;
        margin: 0;
    }
    a {
        overflow: hidden;
        text-overflow: ellipsis;
        color: var(--lzy-nav-txt-color);
        font-size: 12pt;
        font-size: var(--lzy-nav-txt-size);
        line-height: 1.2em;
        line-height: var(--lzy-nav-line-height);
        padding-top: 0.5em;
        padding-bottom: 0.5em;
        padding-top: calc( (var(--lzy-nav-elem-height) - 1.2em) / 2);
        padding-bottom: calc( (var(--lzy-nav-elem-height) - 1.2em) / 2);
    }
    :focus,
    a:hover {
        border-bottom: none;
    }
    .lzy-nav-arrow {
        display: none;
        user-select: none;
        padding: 0 0.5em;
        cursor: s-resize;
        opacity: 0;
        transform-origin: 50% 50%;
    }

    li.lzy-has-children > div {
        overflow: hidden;
    }
} // generic .lzy-nav



// collapsed:
#lzy .lzy-nav {
    &.lzy-nav-top-horizontal:not(.lzy-nav-collapsed) {
        .lzy-lvl2 ol {
            margin-top: 0 !important;
        }
    }

    &.lzy-nav-collapsible,
    &.lzy-nav-collapsed {
        .lzy-nav-arrow {
            display: inline-block;
            opacity: 1;
        }
    }
}


.lzy-nav li.lzy-has-children.lzy-open > div > ol {
    margin-top: 0 !important;
    transition-delay: 0s;
}



// hover
#lzy .lzy-nav-hoveropen {
    .lzy-hover > div > ol {
        margin-top: 0 !important;
    }
}
#lzy:not(.touch) .lzy-nav-hoveropen.lzy-nav-animation-active {
    :not(:hover) > div > ol { // closing delay
        transition-delay: 0.4s;
    }
}



// indentation:
#lzy .lzy-nav-indented { // no-arrow indentation:
    .lzy-nav-arrow {
        display: inline-block;
    }
    .lzy-lvl1 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: var(--lzy-nav-first-indent);
          }
    }
    .lzy-lvl2 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl3 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 2 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 2 * var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl4 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 3 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 3 * var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl5 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 4 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 4 * var(--lzy-nav-indent-step));
          }
    }
} // indentation



// animation:
#lzy .lzy-nav-animation-active {
    li.lzy-has-children {
        > div > ol {
            transition: margin-top var(--lzy-nav-accordion-trans-speed);
        }
    }
    &:not(.lzy-nav-top-horizontal) {
        .lzy-has-children > * > .lzy-nav-arrow {
            transition: transform var(--lzy-nav-accordion-trans-speed);
            transform: rotate(0deg);
        }

        .lzy-has-children.lzy-open > * > .lzy-nav-arrow {
            transition: transform var(--lzy-nav-accordion-trans-speed);
            transform: rotate(90deg);
        }
    }
} // animated



// coloring:
#lzy .lzy-nav-colored {
    // generic:
    a:visited,
    a {
        color: var(--lzy-nav-txt-color);
    }
    &.lzy-nav-colored.lzy-nav.lzy-nav {
        a:hover,
        a:focus {
            background: var(--lzy-nav-elem-bg-hover-color);
        }
    }
    a:focus {
        box-shadow: inset 0 0 4px var(--lzy-nav-focus-color);
    }
    li.curr {
        > a {
            background: var(--lzy-nav-curr-elem-bg-color);
        }
    }
    > ol {<commit_msg>background color without css-var for IE compatibility<commit_after>/***************************
Styles for macro nav()
****************************/

body {
    // generic:
    --lzy-nav-txt-size: 14pt;
    --lzy-nav-txt-color: inherit;
    //--lzy-nav-bg-color: white;
    //--lzy-nav-elem-bg-color: #eee;
    --lzy-nav-elem-bg-hover-color: #e4faff;
    //--lzy-nav-curr-elem-bg-color: #eee;
    //--lzy-nav-curr-elem-border-color: #888;
    --lzy-nav-focus-color: magenta;
    //--lzy-arrow-size: 2em;
    --lzy-nav-line-height: 1.2em;
    --lzy-nav-elem-height: 2em;
    --lzy-nav-sub-width: 15em;
    --lzy-nav-sub-bg-color: #fff;

    // lzy-nav-top-horizontal:
    --lzy-nav-top-horizontal-col-gap: 10px;
    --lzy-nav-top-horizontal-padding: 0.5em;
    //--lzy-nav-top-horizontal-height: var(--lzy-nav-elem-height);
    --lzy-nav-top-horizontal-first-indent: 1.25em;
    --lzy-nav-top-horizontal-indent-step: 1.5em;
    --lzy-nav-top-horizontal-arrow-offset: -1.4em;
    --lzy-nav-top-horizontal-sub-bg-color: white;


    // lzy-nav-accordion:
    --lzy-nav-accordion-first-indent: 24px;
    --lzy-nav-accordion-step: 30px;
    --lzy-nav-accordion-elem-height: var(--lzy-nav-elem-height);
    --lzy-nav-accordion-trans-speed: 0.2s;
    --lzy-nav-accordion-arrow-offset: -1.5em;

    // lzy-nav-indented-no-arrow:
    --lzy-nav-first-indent: 0em;
    --lzy-nav-indent-step: 1.2em;

    // mobile header:
    --lzy-mobile-header-font-size: 8vw;
    --lzy-mobile-header-height: 16vw; //3em;
    --lzy-mobile-header-txt-color: #ddd;
    --lzy-mobile-header-bg-color: #444;
    --lzy-mobile-bg-color: #fff;

    --lzy-smallscreen-txt-color: #fff;
    --lzy-smallscreen-bg-color: #555;
    
    // small screen footer
    --lzy-mobile-footer-txt-color: #fff;
    --lzy-mobile-footer-bg-color: #555;

    --lzy-footer-txt-color: #555;
    --lzy-mobile-footer-height: 3em;
}



//$accordionX1: var(--lzy-nav-accordion-first-indent);
//$accordionX2: calc(var(--lzy-nav-accordion-first-indent) + var(--lzy-nav-accordion-step));
//$accordionX3: calc(var(--lzy-nav-accordion-first-indent) + 2 * var(--lzy-nav-accordion-step));
//$accordionX4: calc(var(--lzy-nav-accordion-first-indent) + 3 * var(--lzy-nav-accordion-step));
//$accordionX5: calc(var(--lzy-nav-accordion-first-indent) + 4 * var(--lzy-nav-accordion-step));
//
//$slidedownX1: var(--lzy-nav-top-horizontal-first-indent);
$slidedownX2: var(--lzy-nav-top-horizontal-first-indent);
$slidedownX3: calc(var(--lzy-nav-top-horizontal-first-indent) + var(--lzy-nav-top-horizontal-indent-step));
$slidedownX4: calc(var(--lzy-nav-top-horizontal-first-indent) + 2 * var(--lzy-nav-top-horizontal-indent-step));
$slidedownX5: calc(var(--lzy-nav-top-horizontal-first-indent) + 3 * var(--lzy-nav-top-horizontal-indent-step));

$xCorr: 1.55em;


// === Generic Nav ===================
#lzy .lzy-nav-wrapper {
    .lzy-nav-menu-button {
        display: none;
    }
    a:focus {
        box-shadow: inset 0 0 4px magenta;
        box-shadow: inset 0 0 4px var(--lzy-nav-focus-color);
        outline: none;
    }
}

#lzy .lzy-nav {
    ol, li, a {
        display: block;
        padding: 0;
        margin: 0;
    }
    a {
        overflow: hidden;
        text-overflow: ellipsis;
        color: var(--lzy-nav-txt-color);
        font-size: 12pt;
        font-size: var(--lzy-nav-txt-size);
        line-height: 1.2em;
        line-height: var(--lzy-nav-line-height);
        padding-top: 0.5em;
        padding-bottom: 0.5em;
        padding-top: calc( (var(--lzy-nav-elem-height) - 1.2em) / 2);
        padding-bottom: calc( (var(--lzy-nav-elem-height) - 1.2em) / 2);
    }
    :focus,
    a:hover {
        border-bottom: none;
    }
    .lzy-nav-arrow {
        display: none;
        user-select: none;
        padding: 0 0.5em;
        cursor: s-resize;
        opacity: 0;
        transform-origin: 50% 50%;
    }

    li.lzy-has-children > div {
        overflow: hidden;
    }
} // generic .lzy-nav



// collapsed:
#lzy .lzy-nav {
    &.lzy-nav-top-horizontal:not(.lzy-nav-collapsed) {
        .lzy-lvl2 ol {
            margin-top: 0 !important;
        }
    }

    &.lzy-nav-collapsible,
    &.lzy-nav-collapsed {
        .lzy-nav-arrow {
            display: inline-block;
            opacity: 1;
        }
    }
}


.lzy-nav li.lzy-has-children.lzy-open > div > ol {
    margin-top: 0 !important;
    transition-delay: 0s;
}



// hover
#lzy .lzy-nav-hoveropen {
    .lzy-hover > div > ol {
        margin-top: 0 !important;
    }
}
#lzy:not(.touch) .lzy-nav-hoveropen.lzy-nav-animation-active {
    :not(:hover) > div > ol { // closing delay
        transition-delay: 0.4s;
    }
}



// indentation:
#lzy .lzy-nav-indented { // no-arrow indentation:
    .lzy-nav-arrow {
        display: inline-block;
    }
    .lzy-lvl1 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: var(--lzy-nav-first-indent);
          }
    }
    .lzy-lvl2 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl3 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 2 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 2 * var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl4 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 3 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 3 * var(--lzy-nav-indent-step));
          }
    }
    .lzy-lvl5 {
          > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 4 * var(--lzy-nav-indent-step) + #{$xCorr});
          }
          &.lzy-has-children > a {
            padding-left: calc(var(--lzy-nav-first-indent) + 4 * var(--lzy-nav-indent-step));
          }
    }
} // indentation



// animation:
#lzy .lzy-nav-animation-active {
    li.lzy-has-children {
        > div > ol {
            transition: margin-top var(--lzy-nav-accordion-trans-speed);
        }
    }
    &:not(.lzy-nav-top-horizontal) {
        .lzy-has-children > * > .lzy-nav-arrow {
            transition: transform var(--lzy-nav-accordion-trans-speed);
            transform: rotate(0deg);
        }

        .lzy-has-children.lzy-open > * > .lzy-nav-arrow {
            transition: transform var(--lzy-nav-accordion-trans-speed);
            transform: rotate(90deg);
        }
    }
} // animated



// coloring:
#lzy .lzy-nav-colored {
    // generic:
    a:visited,
    a {
        color: var(--lzy-nav-txt-color);
    }
    &.lzy-nav-colored.lzy-nav.lzy-nav {
        a:hover,
        a:focus {
            background: var(--lzy-nav-elem-bg-hover-color);
        }
    }
    a:focus {
        box-shadow: inset 0 0 4px var(--lzy-nav-focus-color);
    }
    li.curr {
        > a {
            background: var(--lzy-nav-curr-elem-bg-color);
        }
    }
    > ol {
        background: #680604c4;
{'fraction_non_alphanumeric': 0.19971036480242743, 'fraction_numerical': 0.017584994138335287, 'mean_word_length': 1.8379647749510764, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 53, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6048673', 'n_tokens_mistral': 5925, 'n_tokens_neox': 5654, 'n_words': 756}