/*
 * This javascript file contains the javascript for the header. It is in
 * a separate file, so the header can be embedded in other sites without
 * needing to include all of our javascript.
 */

$(document).ready(function(){
	/* Add the (HTML5) placeholder attribute to the search input
	 * field and call the placeholder jquery plugin to make it work
	 * with non-compliant browsers. */
	$('#search-block input.search-query').attr('placeholder', 'zoek...').placeholder();
});