[web/css] move jquery.treeview.css override to a separate file
Patched embedded code copies are a maintenance disaster (even more so
than plain embedded code copies). Let's not do that.
/* override settings in jquery.treeview.css */ul.placeholder{display:none;}