button.default:not(:disabled) {
  color: mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30);
  outline-color: #777777;
  border-color: mix(#b6b6b3, @shift_bg_color, 00.30);
  border-left-color: mix(#b0b0b0, @shift_bg_color, 00.30);
  border-right-color: mix(#b0b0b0, @shift_bg_color, 00.30);
  border-bottom-color: mix(#a4a4a0, @shift_bg_color, 00.30);
  background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 00.30), #ffffff, 0.5), mix(mix(@bg_color, @shift_bg_color, 00.30), #ffffff, 0.5) 50%, mix(mix(#c0c0c0, @shift_bg_color, 00.30), #ffffff, 0.45));
  -gtk-icon-shadow: none;
  text-shadow: 0 1px #e8e8e8;
  box-shadow: inset 0 1px rgba(255, 255, 255, 0.2); }
  button.default:not(:disabled):hover {
    text-shadow: none;
    background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 00.30), #ffffff, 0.6), mix(mix(@bg_color, @shift_bg_color, 00.30), #ffffff, 0.6) 50%, mix(mix(#c0c0c0, @shift_bg_color, 00.30), #ffffff, 0.5)); }
  button.default:not(:disabled):active,
  button.default:not(:disabled):checked {
/*  color: mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30);
    border-color: mix(#b0b0b0, @shift_bg_color, 00.30);
    background-image: linear-gradient(to top, mix(mix(#ffffff, @shift_bg_color, 00.30), @canvas_bg_color, 0.50), mix(mix(@bg_color, @shift_bg_color, 00.30), @canvas_bg_color, 0.40) 50%, mix(mix(#c0c0c0, @shift_bg_color, 00.30), mix(@canvas_bg_color, #ffffff, 0.4), 0.30));
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.2), inset 0 -1px rgba(255, 255, 255, 0.15), inset 1px 0 rgba(255, 255, 255, 0.15), inset -1px 0 rgba(255, 255, 255, 0.1);*/
    color: shade(mix(@fg_color, mix(@shift_bg_color, @fg_color, 0.398), 00.30), 0.8);
    border-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 1.1), 0.5), 1.0);
    border-top-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 1.1), 0.5), 0.96);
    border-bottom-color: shade(mix(@default_button_pressed_border_color, shade(mix(@bg_color, @shift_bg_color, 00.30), 1.1), 0.5), 1.01);
/*  border-color: mix(#a0a0a0, @shift_bg_color, 00.30);
    border-top-color: mix(#989898, @shift_bg_color, 00.30);
    border-left-color: mix(#909090, @shift_bg_color, 00.30);*/
    background-image: linear-gradient(to bottom, mix(mix(#ffffff, @shift_bg_color, 00.30), #ffffff, 0.45), mix(mix(@bg_color, @shift_bg_color, 00.30), #ffffff, 0.45) 50%, mix(mix(#c0c0c0, @shift_bg_color, 00.30), #ffffff, 0.4));
    -gtk-icon-shadow: none;
/*  -gtk-icon-effect: dim;*/
    -gtk-icon-transform: translate(1px, 1px); /* doesn't seem to work */
    text-shadow: 0 1px #e8e8e8;
    box-shadow: inset 1px 1px 2px mix(mix(#ffffff, @shift_bg_color, 00.30), rgba(70, 70, 70, 0.1), 0.8), 1px 1px rgba(255, 255, 255, 0.3); }
