1:- module(resources , []).

Define resources for html_requires

*/

    5:- use_module(library(http/html_head)).    6:- use_module(library(settings)).    7
    8:-html_resource(css('demo.css'), []).    9:-html_resource(jquery_ui_css, [virtual(true),
   10       requires(['http://code.jquery.com/ui/1.10.1/themes/base/jquery-ui.css'])]).   11:-html_resource(jquery_ui, [virtual(true),
   12   requires(['http://code.jquery.com/ui/1.10.1/jquery-ui.js',
   13	     jquery_ui_css,
   14	     jquery])]).   15:-html_resource(jquery, [virtual(true),
   16       requires(['http://code.jquery.com/jquery-1.9.1.js'])]).   17
   18:-html_resource(leaflet, [virtual(true),
   19       requires(['http://cdn.leafletjs.com/leaflet-0.5/leaflet.css',
   20		 'http://cdn.leafletjs.com/leaflet-0.5/leaflet.js'])]).   21
   22:-html_resource('https://www.google.com/jsapi', [mime_type(text/javascript)]).   23:-html_resource(google_loader, [virtual(true),
   24       requires(['https://www.google.com/jsapi'])]).   25:-html_resource(clippy, [virtual(true),
   26			 requires([jquery,
   27				   css('clippy.css'),
   28				   js('clippy.min.js')])]).   29:-html_resource(menu_css, [virtual(true), requires([css('menu.css')])]).   30:-html_resource(wl_window, [virtual(true), ordered(true), requires([jquery_ui, js('wlwindows.js')])]).   31:-html_resource(wl_window_css, [virtual(true), requires([css('wlwindows.css')])]).   32:-html_resource(wl_gps, [virtual(true), requires([js('wlgps.js')])]).   33:-html_resource(ajaxify_base, [virtual(true), requires([js('wlajaxify.js'), jquery])]).