[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.

/* specific workarounds for Internet Explorer */
div.calpopup {
  margin-left: 0px;
  margin-top: 0px;
}

table#header td#header-right  div.popupWrapper {
  position: relative;
  z-index: 400;
}

table#header td#header-right{
  text-align:right;
}

/* quick and dirty solution for pop to be
   correctly displayed on right edge of window */
div.popupWrapper{
  direction:rtl;
  text-align:right;
}

div#rqlinput input.rqlsubmit{
  height: 24px;
  width: 24px;
}


table#mainLayout #navColumnLeft,
table#mainLayout #navColumnRight {
  width: auto;
}