Lapo Calamandrei af76e138f9 Adwaita: remove unneeded margin on dropdown menu ... That margin was probably a left over to workaround some placement issue on dropdowns which doesn't exist anymore.		2017-05-09 12:48:12 +02:00
..
Adwaita	Adwaita: remove unneeded margin on dropdown menu	2017-05-09 12:48:12 +02:00
HighContrast	Rebuild CSS on all SCSS file changes	2017-04-01 16:19:54 +01:00
win32	win32 theme: Fix tooltip borders	2016-10-26 16:25:49 +02:00