[web] Add datadir-url configuration option (closes #5204550) Makes it possible to use a different host for static data instead of ${base_url}/data

     1

/* override settings in jquery.treeview.css */

     2

.treeview .placeholder { display: none; }