[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.
// This contains template-specific javascript
function filterLog(domid, thresholdLevel) {
var logLevels = ["Debug", "Info", "Warning", "Error", "Fatal"]
var action = "hide";
for (var idx = 0; idx < logLevels.length; idx++){
var level = logLevels[idx];
if (level === thresholdLevel){
action = "show";
}
$('#'+domid+' .log' + level)[action]();
}
}