Guo Xiang Tan d4f03cc0e1 Add details to popup menu options.		2016-06-17 11:37:16 +08:00
..
javascripts	Add details to popup menu options.	2016-06-17 11:37:16 +08:00
stylesheets	FIX: <details> should expand when supported by the browser	2016-04-06 21:44:29 +02:00