[request] drop the user argument for set_session
I see no code nor test that use this optional argument. removing it help to
clean the session code. The set_session function will soon be deprecated anyway (at the
same time than the dbapi)
related to #2503918
/* 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;
}