fabrixxm dec5c3c0b0 Make top menu work again ... The top menu stopped working. A quick look showed that menu html has changed, not matching CSS selectors anymore. The commit f68cafa had changed the CSS selectors from ones that apply to current menu html. The menu has been modified from what was in place at the time when sceenshot.png has been taken. My guess is that different menus leads to different html on page (I don't know why). The CSS now use both selectors, to stay on the safe side.		2019-10-21 12:22:41 +02:00
..
css	Make top menu work again	2019-10-21 12:22:41 +02:00
fonts	Update ForkAwesome fonts to 1.1.7	2019-10-21 10:33:10 +02:00
js	Move up	2017-04-01 18:52:54 +02:00