[web] Stop patching jquery.treeview.js
This logically reverts part of e9b7cd2e9012 "allow treeview to work
correctly in a tab #345293".
The treeview and ajax code have suffered a number of changes since then, this
change doesn't seem to be necessary anymore. It is most likely unneeded since
f65208c9dbdc "[javascript] use jQuery.one('ajax-loaded') instead of
jQuery.bind() in add_onload to avoid multiple callback executions".
/***************************************/
/* filter table form */
/***************************************/
table.filter th {
font-weight: bold;
background: #ebe8d9 url("button.png") repeat-x;
padding: 0.3em;
border-bottom: 1px solid %(incontextBoxBodyBgColor)s;
text-align: left;
}
table.filter div.facet {
padding: 0.6em 0.2em;
margin: 0em 1em;
border: 1px solid #ccc;
}
table.filter div.facetTitle {
font-weight: bold;
}
div.tableActionsBox {
}
div.tableActionsBox .popup {
border-radius: 5px;
background: %(incontextBoxBodyBgColor)s;
box-shadow: 3px 3px 3px Grey;
}
div.tableActionsBox li {
background: none;
/* we should probably get rid of ul/li structure because
of the spurious space consumed by the bullet */
margin-right: .3em;
margin-left: -.3em;
}