mtail c4ea43e386 Tweak the menu display. ... Use animation to bring the menu up, and support the ESC key to hide it.		2019-03-06 18:18:26 -08:00
..
css	Tweak the menu display.	2019-03-06 18:18:26 -08:00
img	Add a fast language switcher button in preliminary mode. (#3464)	2019-03-02 17:39:32 -08:00
js	Tweak the menu display.	2019-03-06 18:18:26 -08:00