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

/* CSS file for table dialog in the table plugin */

.panel_wrapper div.current {
	height: 220px;
}

.advfield {
	width: 200px;
}

#class {
	width: 150px;
}