Michal Budzynski cd90fdd407 first prototype of play-button enabling only if crate list supported ... also minor refactor of clipboard handling TODO: - `no_run` support - test with ACE - disable play button with tooltip instead of hiding		2017-09-06 00:18:24 +02:00
..
themes	Fix for playpen buttons missing on mobile safari and chrome IOS	2017-06-13 16:59:29 +02:00
book.styl	Initial implementation of clipboard handling	2017-05-31 19:56:17 +02:00
general.styl	first prototype of play-button enabling only if crate list supported	2017-09-06 00:18:24 +02:00
menu.styl	Converted all css to stylus	2015-09-18 22:13:55 +02:00
nav-icons.styl	On iOS, allow scrolling to the top of the page by tapping the top of the screen	2017-06-18 09:58:52 -07:00
page.styl	On iOS, allow scrolling to the top of the page by tapping the top of the screen	2017-06-18 09:58:52 -07:00
print.styl	Integrating Ace #247	2017-08-03 22:45:33 -04:00
sidebar.styl	On iOS, allow scrolling to the top of the page by tapping the top of the screen	2017-06-18 09:58:52 -07:00
theme-popup.styl	Hide theme selector popup on interaction outside of it	2017-06-23 13:31:28 +02:00
tooltip.styl	Fixed tooltip styling	2017-05-31 21:07:47 +02:00
variables.styl	On iOS, allow scrolling to the top of the page by tapping the top of the screen	2017-06-18 09:58:52 -07:00