<commit_before>/*************************
 * menu  
 *
 *************************/

toolbar .raised  menu,
menu {
    /* menu contextual */
    background-color: @menu_bg_dark_color;
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (shade(@menu_bg_dark_color, 1.03)),
                                     to   (shade(@menu_bg_dark_color, 0.97)));
    border-style: solid;
    border-width: 1px;
    border-radius: 0px;
    border-color: shade(@menu_bg_dark_color, 0.97);
    border-image:     none;
}

menu:selected {
    background-color: @theme_selected_bg_color;
}

menuitem,
menuitem:disabled {
    background-color: @menu_bg_dark_color;
}

menubar menu button:hover,
menubar menu button:active,
menubar menu button:active:disabled,
menubar menu button:disabled,
menubar menu button,
toolbar.primary-toolbar menu button:hover,
toolbar.primary-toolbar menu button:active,
toolbar.primary-toolbar menu button:active:disabled,
toolbar.primary-toolbar menu button:disabled,
toolbar.primary-toolbar menu button {
    background-color: shade (@menu_bg_dark_color, 1.07);
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (@menu_bg_dark_color),
                                     to (shade(@menu_bg_dark_color, 0.96)));
    border-radius: 0;
    border-style: none;
    border-width: 1px;
    border-image: none;
}

menu button {
    padding: 0px;
    background-image: none;
    background-color: shade (@menu_bg_dark_color, 0.95);
    color: mix (@menu_fg_dark_color, @menu_bg_dark_color, 0.3);
    box-shadow: none;
    border-image: none;
    border-style: none;
}

menu button arrow {
    color: @menu_fg_dark_color;
}


/***********
 * menubar *
 ***********/
menubar {
    -GtkWidget-window-dragging: true;
    /* line 3D  (dark) */
    box-shadow: inset  0px -1px @menu_line_dark_color;
    /* line 3D at the buttom of the menu bar */
    border-width: 0px 0px 1px 0px;
    border-style: solid;
    border-radius: 0px;
    border-color: transparent;
    border-bottom-color:  shade(@theme_bg_dark_color, 1.60);
    background-color: shade (@theme_bg_dark_color, 1.00);
    color: @menu_fg_dark_color;
    min-height: 20px;
}

/***************
 * menubaritem *
 ***************/
menubar > menuitem  {
    padding: 5px 5px;
    transition: all 200ms ease-out;
    border-radius: 0px;
    border-width: 0px;
    min-height: 16px;
}

menubar > menuitem:hover {
    background-color: shade (@theme_bg_dark_color, 1.2);
    border-radius: 6px;
    color: shade (@theme_selected_bg_color, 1.6);
    text-shadow: 0px 1px @theme_selected_shadow_color;
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (shade(@menu_bg_dark_color, 2.03)),
                                     to   (shade(@menu_bg_dark_color, 1.17)));
    box-shadow: inset  0px  1px shade (@theme_selected_bg_color, 1.3),
                inset  1px  0px shade (@theme_selected_bg_color, 1.3),
                inset -1px  0px shade (@theme_selected_bg_color, 1.3),
                inset  0px -1px shade (@theme_selected_bg_color, 1.3);
}

/************
 * menuitem *
 ************/

toolbar .raised button menuitem,
toolbar menubar button menuitem,
toolbar menuitem,
toolbar.primary-toolbar menuitem,
toolbar.primary-toolbar button menuitem,
window.background.popup menu menuitem,
window.background.popup menuitem {
/* Fix height change in nautilus menu item view options */
    padding: 0px;
    border-width: 0px;
}

toolbar .raised button menuitem,
toolbar menubar button menuitem,
toolbar menubar .linked button menuitem,
toolbar menuitem,
toolbar.primary-toolbar menuitem,
toolbar.primary-toolbar button menuitem,
window.background.popup menu menuitem,
window.background.popup menuitem {
/*    transition: all 300ms ease-out; FIXME this caused items jumpings*
/*    -GtkMenuItem-arrow-scaling: 0.7; */
    transition: all 200ms ease-out
    border-radius: 0px;
    color: @menu_fg_dark_color;
    text-shadow: 1px 1px @menu_shadow_dark_color;
    padding: 5px 5px;
    min-height: 22px;
}
<commit_msg>GTK+-3.20 Blue-Submarine menu.css: fix a typo<commit_after>/*************************
 * menu  
 *
 *************************/

toolbar .raised  menu,
menu {
    /* menu contextual */
    background-color: @menu_bg_dark_color;
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (shade(@menu_bg_dark_color, 1.03)),
                                     to   (shade(@menu_bg_dark_color, 0.97)));
    border-style: solid;
    border-width: 1px;
    border-radius: 0px;
    border-color: shade(@menu_bg_dark_color, 0.97);
    border-image:     none;
}

menu:selected {
    background-color: @theme_selected_bg_color;
}

menuitem,
menuitem:disabled {
    background-color: @menu_bg_dark_color;
}

menubar menu button:hover,
menubar menu button:active,
menubar menu button:active:disabled,
menubar menu button:disabled,
menubar menu button,
toolbar.primary-toolbar menu button:hover,
toolbar.primary-toolbar menu button:active,
toolbar.primary-toolbar menu button:active:disabled,
toolbar.primary-toolbar menu button:disabled,
toolbar.primary-toolbar menu button {
    background-color: shade (@menu_bg_dark_color, 1.07);
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (@menu_bg_dark_color),
                                     to (shade(@menu_bg_dark_color, 0.96)));
    border-radius: 0;
    border-style: none;
    border-width: 1px;
    border-image: none;
}

menu button {
    padding: 0px;
    background-image: none;
    background-color: shade (@menu_bg_dark_color, 0.95);
    color: mix (@menu_fg_dark_color, @menu_bg_dark_color, 0.3);
    box-shadow: none;
    border-image: none;
    border-style: none;
}

menu button arrow {
    color: @menu_fg_dark_color;
}


/***********
 * menubar *
 ***********/
menubar {
    -GtkWidget-window-dragging: true;
    /* line 3D  (dark) */
    box-shadow: inset  0px -1px @menu_line_dark_color;
    /* line 3D at the buttom of the menu bar */
    border-width: 0px 0px 1px 0px;
    border-style: solid;
    border-radius: 0px;
    border-color: transparent;
    border-bottom-color:  shade(@theme_bg_dark_color, 1.60);
    background-color: shade (@theme_bg_dark_color, 1.00);
    color: @menu_fg_dark_color;
    min-height: 20px;
}

/***************
 * menubaritem *
 ***************/
menubar > menuitem  {
    padding: 5px 5px;
    transition: all 200ms ease-out;
    border-radius: 0px;
    border-width: 0px;
    min-height: 16px;
}

menubar > menuitem:hover {
    background-color: shade (@theme_bg_dark_color, 1.2);
    border-radius: 6px;
    color: shade (@theme_selected_bg_color, 1.6);
    text-shadow: 0px 1px @theme_selected_shadow_color;
    background-image: -gtk-gradient (linear,
                                     left top, left bottom,
                                     from (shade(@menu_bg_dark_color, 2.03)),
                                     to   (shade(@menu_bg_dark_color, 1.17)));
    box-shadow: inset  0px  1px shade (@theme_selected_bg_color, 1.3),
                inset  1px  0px shade (@theme_selected_bg_color, 1.3),
                inset -1px  0px shade (@theme_selected_bg_color, 1.3),
                inset  0px -1px shade (@theme_selected_bg_color, 1.3);
}

/************
 * menuitem *
 ************/

toolbar .raised button menuitem,
toolbar menubar button menuitem,
toolbar menuitem,
toolbar.primary-toolbar menuitem,
toolbar.primary-toolbar button menuitem,
window.background.popup menu menuitem,
window.background.popup menuitem {
/* Fix height change in nautilus menu item view options */
    padding: 0px;
    border-width: 0px;
}

toolbar .raised button menuitem,
toolbar menubar button menuitem,
toolbar menubar .linked button menuitem,
toolbar menuitem,
toolbar.primary-toolbar menuitem,
toolbar.primary-toolbar button menuitem,
window.background.popup menu menuitem,
window.background.popup menuitem {
/*    transition: all 300ms ease-out; FIXME this caused items jumpings*/
/*    -GtkMenuItem-arrow-scaling: 0.7; */
    transition: all 200ms ease-out;
    border-radius: 0px;
    color: @menu_fg_dark_color;
    text-shadow: 1px 1px @menu_shadow_dark_color;
    padding: 5px 5px;
    min-height: 22px;
}

{'fraction_non_alphanumeric': 0.131369798971482, 'fraction_numerical': 0.02302477793361384, 'mean_word_length': 2.71236442516269, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 34, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '245098', 'n_tokens_mistral': 2895, 'n_tokens_neox': 2743, 'n_words': 647}