Simon Plakolb 93807b0b3e resources: Remove border effect on hover ...

Moves the ``border = none;`` attribute from workspace buttons to the
global scope. The hover effects on all buttons are now consistent in the
default stylesheet.

2022-10-18 11:25:20 +02:00

4.3 KiB

Raw Blame History

View Raw