1:- module(conf_fix_menu, []).
   2:- use_module(library(http/html_head)).
   3
   4/** <module> Fix the position of the menu and search box
   5
   6This module applies an additional style-file  that changes the behaviour
   7of the menu and  search-box,  such  that   it  stays  on  the  page when
   8scrolling.
   9
  10Note  that  the  order  of  resources  inserted  by  html_resource/2  is
  11undefined. Ordering can be  forced  by   making  one  resource depend on
  12another. In this case, the dependent resource  will always be later than
  13the dependee. E.g., if fix_menu.css must be loaded after cliopatria.css,
  14add a declaration like this:
  15
  16    ==
  17    :- html_resource(css('fix_menu.css'),
  18		     [ requires([css('cliopatria.css')])
  19		     ]).
  20    ==
  21*/
  22
  23:- html_resource(cliopatria,
  24		 [ virtual(true),
  25		   requires([ css('fix_menu.css')
  26			    ])
  27		 ]).