div#top_tools div#search {
	margin-right:9px;
}

* html div#top_tools div#search {
	margin-right:9px;
}

div#top_tools div#search div.search_input {
	margin-left:0px;
}

* html div#top_tools div#search div.search_input {
	margin-left:0px;
}