Anthony,
I made some tests after your observations. (web2py Version 1.99.3
(2011-11-08 22:28:53) dev last trunk)
What do you think about the following:
.web2py_console {position: relative;} /* for #w2p_query_panel positioning */
#web2py_keywords{margin:0 5px;min-width:390px;width:62%;}
#w2p_query_panel{width:99%;}
#w2p_query_panel input, #w2p_query_panel select{margin:2px 10px 2px 5px;}
#w2p_query_panel input[type="text"]{margin:0 5px 0 0;}
.ie9 #web2py_keywords:focus {border-color:#ccc;} /* fix to prevent border
vanishing in ie9 */
Moreover I want suggest this change in layout.html:
<!--[if IE 9]> <html class="ie ie9 lte8 no-js"
lang="{{=T.accepted_language or 'en'}}"> <![endif]-->
<!--[if (gt IE 9)|!(IE)]><!--> <html class="no-js"
lang="{{=T.accepted_language or 'en'}}"> <!--<![endif]-->
Paolo