Mattia Astorino bc204bcc29 fix: Fixed same color for parameters and numerics		2018-10-25 13:01:51 +02:00
..
settings/specific	fix: Improve scrollbar contrast	2018-10-10 22:02:08 +02:00
theme-template-color-theme.json	fix: Fixed same color for parameters and numerics	2018-10-25 13:01:51 +02:00