| .. | 
		
		
			
				
					| css | 74ca542a02
					[enh] set up special css classes for highlighting results + highlight definitions with dark grey border | 11 years ago | 
		
			
				
					| img | dfce4fd865
					[fix] add preference-icon.png | 11 years ago | 
		
			
				
					| js | b70b0775f3
					[mod] the search text input gets the focus automatically only on the index page. | 11 years ago |