zadam 637547a3fa add new tab button, WIP		2019-05-12 10:59:53 +02:00
..
desktop.css	add new tab button, WIP	2019-05-12 10:59:53 +02:00
mobile.css	tab bar is automatically hidden for only one tab	2019-05-07 22:14:35 +02:00
relation_map.css	fixes for black theme for relation map and code notes	2019-01-13 20:03:28 +01:00
style.css	some refactoring etc.	2019-05-11 19:27:33 +02:00
themes.css	split out themes.css	2019-05-01 08:57:44 +02:00