tanguy@aristotle aa789a7656 Reduce animation duration of navbar		2020-08-03 16:37:03 +02:00
..
userChrome.css	Reduce animation duration of navbar	2020-08-03 16:37:03 +02:00