button.default:not(:disabled) {
  outline-color: #777777;
  border-color: mix(#a0b0b0, @shift_bg_color, 00.30);
  border-left-color: mix(#98a8a8, @shift_bg_color, 00.30);
  border-right-color: mix(#98a8a8, @shift_bg_color, 00.30);
  border-bottom-color: mix(#90a0a0, @shift_bg_color, 00.30);
  color: mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30);
  background-image: linear-gradient(to bottom, mix(@default_action_color, #ffffff, 0.15), @default_action_color 50%, mix(@default_action_color, #000000, 0.08));
  -gtk-icon-shadow: none;
  text-shadow: 0 1px mix(#e8e8e8, @shift_bg_color, 00.30);
  box-shadow: inset 0 1px rgba(255, 255, 255, 0.15), inset 0 -1px rgba(255, 255, 255, 0.1), inset 1px 0 rgba(255, 255, 255, 0.15), inset -1px 0 rgba(255, 255, 255, 0.15); }
  button.default:not(:disabled):hover {
    text-shadow: none;
    background-image: linear-gradient(to bottom, mix(@default_action_color, #ffffff, 0.25), mix(@default_action_color, #ffffff, 0.07) 50%, mix(@default_action_color, #000000, 0.05)); }
  button.default:not(:disabled):active,
  button.default:not(:disabled):checked {
/*  border-color: mix(#909090, @shift_bg_color, 00.30);
    border-top-color: mix(#989898, @shift_bg_color, 00.30);
    background-image: linear-gradient(to top, mix(@default_action_color, #ffffff, 0.25), @default_action_color 50%, mix(@default_action_color, #000000, 0.15));
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.1), inset 1px 0 rgba(255, 255, 255, 0.1), inset -1px 0 rgba(255, 255, 255, 0.1); }*/
    outline-color: #777777;
    border-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 0.95), 0.5), 0.99);
    border-top-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 0.95), 0.5), 0.97);
    border-bottom-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 0.95), 0.5), 1.01);
    background-image: linear-gradient(to bottom, shade(mix(@default_action_color, #ffffff, 0.2), 0.98), shade(@default_action_color, 0.98) 50%, shade(mix(@default_action_color, #444444, 0.1), 0.98));
    color: shade(mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30), 0.8);
/*  text-shadow: 1px 1px mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30);*/
    text-shadow: 0 1px mix(#e8e8e8, @shift_bg_color, 00.30);
    -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.1), 1px 1px rgba(255, 255, 255, 0.4); }
