Fixed highlighting in search results; changed search algorithm to give more score for terms found in page title; hopefully (hackishly) fixed login_key_cache getting too long
.panel_wrapper div.current {
height: 290px;
}
#id, #style, #title, #dir, #hreflang, #lang, #classlist, #tabindex, #accesskey {
width: 200px;
}
#events_panel input {
width: 200px;
}