[not loaded]PublicShow sourceskin_fix_menu.pl -- Fix the position of the menu and search box

This module applies an additional style-file that changes the behaviour of the menu and search-box, such that it stays on the page when scrolling.

Note that the order of resources inserted by html_resource/2 is undefined. Ordering can be forced by making one resource depend on another. In this case, the dependent resource will always be later than the dependee. E.g., if fix_menu.css must be loaded after cliopatria.css, add a declaration like this:

:- html_resource(css('fix_menu.css'),
                 [ requires([css('cliopatria.css')])