[server] Make connection pooler configurable and set better default values
Drop the configuration connections-pool-size and add new configurations options:
* connections-pool-min-size. Set to 0 by default so we open connections only
when needed. This avoid opening min-size*processes connections at startup,
which is, it think, a good default.
* connections-pool-max-size. Set to 0 (unlimited) by default, so we move the
bottleneck to postgresql.
* connections-idle-timeout. Set to 10 minutes. I don't have arguments about
this except that this is the default in pgbouncer.
/***************************************/
/* 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;
}