Lars van Hijfte fc0b801d7d Added groups to the menu. ...

It also now has an animation to hide and show more or less items in the menu.

2017-01-11 13:06:09 +01:00

..

jquery.js

This inserts the map structure we will use for the project.

2017-01-10 14:35:56 +01:00

menu.js

Added groups to the menu.

2017-01-11 13:06:09 +01:00