Cat bf5a327468 Embed: tweak for non-touch: hide settings menu when gear icon is tapped (for mobile)		2020-08-11 19:26:41 +02:00
..
default.css	Embed: tweak for non-touch: hide settings menu when gear icon is tapped (for mobile)	2020-08-11 19:26:41 +02:00
dev.css	Embed: tweak for non-touch: hide settings menu when gear icon is tapped (for mobile)	2020-08-11 19:26:41 +02:00