@CHARSET "UTF-8";

form.search input.text {
	width: 120px;
}

div#file_contents button {
	float: right;
}