/*
// File written by Jochen "Khuri" Höhmann <khuri@khuris.com>
// Copyright 2011
//
// File        : search.css
// Begin       : 2009.02.09 11:30:59
// Last Update : 2011.08.04 11:08:02
*/

span.highlight {
	background-color: #ADD8E6;
}