[shell] #715938: support of script parameters (using standard '--' as arguments separator)
Arguments after bare "--" string will not be processed by the shell command
You can use it to pass extra arguments to your script and expect for
them in 'scriptargs' afterwards.
/***************************************/
/* filter table form */
/***************************************/
table.filter th {
font-weight: bold;
background: #ebe8d9 url("button.png") repeat-x;
padding: 0.3em;
border-bottom: 1px solid #cfceb7;
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 {
direction:rtl;
float:right
}