Benjamin Pasero 31205bdeb8 use more transparency (for #25482)		2017-04-28 08:53:29 +02:00
..
solarized-dark-color-theme.json	use more transparency (for #25482)	2017-04-28 08:53:29 +02:00