[Aimmath-developers] documentation menu

[Gustav W D. <gu...@ma...>]

I have extended the menu for the documentation and also put it into a frame.

Gustav