evgenykatyshev f8e12df456 Update color of ruler elements		2021-05-07 13:20:25 +03:00
..
lib	[themes] fix bug 50197	2021-05-04 23:11:38 +03:00
resources	Update color of ruler elements	2021-05-07 13:20:25 +03:00