/* Modals that replaced dropdowns / option pickers: no hover “lift” (translateY or lift shadow) */
        #global-select-picker-modal .glass-button:hover,
        #global-select-picker-modal .glass-button:active,
        #header-account-modal .glass-button:hover,
        #header-account-modal .glass-button:active,
        #header-auth-modal .glass-button:hover,
        #header-auth-modal .glass-button:active,
        #mobile-repo-sections-modal .glass-button:hover,
        #mobile-repo-sections-modal .glass-button:active {
            transform: none !important;
            box-shadow: none !important;
        }
        button.modal-select-trigger:hover,
        button.modal-select-trigger:active {
            transform: none !important;
        }
        /* Option rows created in modal_picker.js */
        #global-select-picker-modal [data-picker-list] button {
            border: none;
            outline: none;
        }
        #global-select-picker-modal [data-picker-list] button:focus-visible {
            box-shadow: 0 0 0 2px rgba(var(--theme-r), var(--theme-g), var(--theme-b), 0.45);
        }
        #global-select-picker-modal [data-picker-list] button:hover,
        #global-select-picker-modal [data-picker-list] button:active {
            transform: none !important;
            box-shadow: none !important;
        }
        #global-select-picker-modal [data-picker-list] button:focus-visible:hover {
            box-shadow: 0 0 0 2px rgba(var(--theme-r), var(--theme-g), var(--theme-b), 0.45) !important;
        }