Jakub Steiner 25ee41f344 theme: use a smaller border-radius for top bar ...

- plays better with window decorations and maximized windows
- https://bugzilla.gnome.org/show_bug.cgi?id=672430

2012-05-07 10:36:28 +02:00

75 lines

2.0 KiB

XML

Raw Blame History