<commit_before>/* Menu
   ========================================================================== */

/**
 * jQuery UI Menu.
 *
 * Menus are vertical format only. Horizontal format menus are not provided by
 * jQuery UI.
 *
 * Some classes and HTML elements generally added via JavaScript, more info -
 * http://jqueryui.com/menu/
 *
 * Example HTML:
 *
 * <ul class="ui-menu">
 *     <li class="ui-state-disabled ui-menu-item">
 *         <a>Item 1 (disabled)</a>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>Item 2</a>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>
 *             <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *             Item 3
 *         </a>
 *         <ul class="ui-menu">
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 1</a>
 *             </li>
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 2</a>
 *             </li>
 *         </ul>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>
 *             <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *             Item 4
 *         </a>
 *         <ul class="ui-menu">
 *             <li class="ui-menu-item">
 *                 <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *                 <a>Item 4 subitem 1</a>
 *                 <ul class="ui-menu">
 *                     <li class="ui-menu-item">
 *                         <a>Item 4 subitem 1 subsubitem 1</a>
 *                     </li>
 *                     <li class="ui-menu-item">
 *                         <a>Item 4 subitem 1 subsubitem 2</a>
 *                     </li>
 *                 </ul>
 *             </li>
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 2</a>
 *             </li>
 *         </ul>
 *     </li>
 * </ul>
 */

.ui-menu {
    font-size: 100%; /* 1 */
    @include adjust-font-size-to(14px, 0.875);
    @include box-shadow(0 0 0.5em rgba(0, 0, 0, 0.2));

    display: block;
    margin: 0;
    padding: 0;
    font-family: $font-sans-serif;
    list-style: none;
    outline: 0;

    .ui-menu {
        position: absolute;
    }

    .ui-menu-item {
        position: relative;
        margin: 0;
        padding: 3px 1em 3px 0.3571428em; // 5px / 14px
        cursor: pointer;
        /* support: IE 10, see #8844 */
        list-style-image: url("data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7");

        a {
            color: $color-text;
            text-decoration: none;
        }
    }

    .ui-menu-divider {
        margin: -0.3571428em 0; // 5px / 14px
        border-width: 1px 0 0 0;
        height: 0;
        font-size: 0;
        line-height: 0;
    }

    .ui-state-focus,
    .ui-state-active {
        background-color: $color-selecting;
    }

    // left-aligned
    .ui-icon {
        position: absolute;
        top: 0;
        bottom: 0;
        left: 0.25em;
        margin: auto 0;
    }

    // right-aligned
    .ui-menu-icon {
        left: auto;<commit_msg>Shouldn't be negative margin<commit_after>/* Menu
   ========================================================================== */

/**
 * jQuery UI Menu.
 *
 * Menus are vertical format only. Horizontal format menus are not provided by
 * jQuery UI.
 *
 * Some classes and HTML elements generally added via JavaScript, more info -
 * http://jqueryui.com/menu/
 *
 * Example HTML:
 *
 * <ul class="ui-menu">
 *     <li class="ui-state-disabled ui-menu-item">
 *         <a>Item 1 (disabled)</a>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>Item 2</a>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>
 *             <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *             Item 3
 *         </a>
 *         <ul class="ui-menu">
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 1</a>
 *             </li>
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 2</a>
 *             </li>
 *         </ul>
 *     </li>
 *     <li class="ui-menu-item">
 *         <a>
 *             <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *             Item 4
 *         </a>
 *         <ul class="ui-menu">
 *             <li class="ui-menu-item">
 *                 <span class="ui-menu-icon ui-icon ui-icon-carat-1-e"></span>
 *                 <a>Item 4 subitem 1</a>
 *                 <ul class="ui-menu">
 *                     <li class="ui-menu-item">
 *                         <a>Item 4 subitem 1 subsubitem 1</a>
 *                     </li>
 *                     <li class="ui-menu-item">
 *                         <a>Item 4 subitem 1 subsubitem 2</a>
 *                     </li>
 *                 </ul>
 *             </li>
 *             <li class="ui-menu-item">
 *                 <a>Item 3 subitem 2</a>
 *             </li>
 *         </ul>
 *     </li>
 * </ul>
 */

.ui-menu {
    font-size: 100%; /* 1 */
    @include adjust-font-size-to(14px, 0.875);
    @include box-shadow(0 0 0.5em rgba(0, 0, 0, 0.2));

    display: block;
    margin: 0;
    padding: 0;
    font-family: $font-sans-serif;
    list-style: none;
    outline: 0;

    .ui-menu {
        position: absolute;
    }

    .ui-menu-item {
        position: relative;
        margin: 0;
        padding: 3px 1em 3px 0.3571428em; // 5px / 14px
        cursor: pointer;
        /* support: IE 10, see #8844 */
        list-style-image: url("data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7");

        a {
            color: $color-text;
            text-decoration: none;
        }
    }

    .ui-menu-divider {
        margin: 0.3571428em 0; // 5px / 14px
        border-width: 1px 0 0 0;
        height: 0;
        font-size: 0;
        line-height: 0;
    }

    .ui-state-focus,
    .ui-state-active {
        background-color: $color-selecting;
    }

    // left-aligned
    .ui-icon {
        position: absolute;
        top: 0;
        bottom: 0;
        left: 0.25em;
        margin: auto 0;
    }

    // right-aligned
    .ui-menu-icon {
        left: auto;
{'fraction_non_alphanumeric': 0.18031189083820662, 'fraction_numerical': 0.030539311241065625, 'mean_word_length': 1.3508972890416189, 'pattern_counts': {'":': 0, '<': 111, '<?xml version=': 0, '>': 111, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 2, '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': '1075022', 'n_tokens_mistral': 2237, 'n_tokens_neox': 2039, 'n_words': 448}