frederik.feichtmeier 0af2e65c80 Make titlebuttons round ... - use even sides for the titlebuttons so the result is a circle and not an ellipse - add maximum border radius - set min width/height to 0 - adjust margin and padding to match the previous look		2019-08-07 18:46:47 +02:00
..
Adwaita	Make titlebuttons round	2019-08-07 18:46:47 +02:00
HighContrast	HighContrast: Improve contrast of notebook tabs	2019-05-29 17:46:41 +02:00