zadam d3ca6b5ae6 styling for scrollbar which looks ugly otherwise in dark themes		2019-02-03 10:21:28 +01:00
..
desktop.css	styling for scrollbar which looks ugly otherwise in dark themes	2019-02-03 10:21:28 +01:00
mobile.css	workaround for hidden last line on mobile	2019-01-17 21:13:53 +01:00
relation_map.css	fixes for black theme for relation map and code notes	2019-01-13 20:03:28 +01:00
style.css	main border color CSS variable	2019-02-03 10:09:59 +01:00