button.default:not(:disabled) {
  color: mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.10);
  outline-color: #777777;
  border-color: mix(#aaaaaa, @shift_bg_color, 00.10);
  border-bottom-color: mix(#999999, @shift_bg_color, 00.10);
  background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.65), 0.85), mix(mix(@bg_color, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.55), 0.70) 50%, mix(mix(#c0c0c0, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.45), 0.60));
  -gtk-icon-shadow: none;
  text-shadow: 0 1px mix(#e8e8e8, @shift_bg_color, 00.10);
  box-shadow: inset 0 1px rgba(255, 255, 255, 0.15), inset 1px 0 rgba(255, 255, 255, 0.1), inset -1px 0 rgba(255, 255, 255, 0.1); }
  button.default:not(:disabled):hover {
    text-shadow: none;
    background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 0.2), mix(@selected_bg_color, #f4f4f4, 0.70), 0.95), mix(mix(@bg_color, @shift_bg_color, 0.2), mix(@selected_bg_color, #f4f4f4, 0.55), 0.75) 50%, mix(mix(#c0c0c0, @shift_bg_color, 0.2), mix(@selected_bg_color, #f4f4f4, 0.50), 0.55)); }
  button.default:not(:disabled):active,
  button.default:not(:disabled):checked {
    outline-color: #777777;
    border-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.10), 1.0), 0.4), 1.0);
    border-top-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.10), 1.0), 0.4), 0.99);
    border-bottom-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.10), 1.0), 0.4), 1.01);
/*  border-top-color: mix(#888888, @shift_bg_color, 00.10);
    border-left-color: mix(#808080, @shift_bg_color, 00.10);
    border-bottom-color: mix(#999999, @shift_bg_color, 00.10);
    border-right-color: mix(#999999, @shift_bg_color, 00.10);*/
    background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.65), 0.80), mix(mix(@bg_color, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.55), 0.65) 50%, mix(mix(#c0c0c0, @shift_bg_color, 0.25), mix(@selected_bg_color, #f4f4f4, 0.45), 0.55));
    color: shade(mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.10), 0.8);
/*  text-shadow: 1px 1px mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.10);*/
    text-shadow: 0 1px mix(#e8e8e8, @shift_bg_color, 00.10);
    -gtk-icon-shadow: none;
/*  -gtk-icon-effect: dim;*/
    -gtk-icon-transform: translate(1px, 1px); /* doesn't seem to work */
    box-shadow: inset 1px 1px 2px rgba(30, 30, 30, 0.15), 1px 1px rgba(255, 255, 255, 0.4); }
