// Highlight an 'id' if specified by a hash in the URL

"use strict";

(function()
{
	var hash = window.location.hash.substr(1);
	if (!hash)
		return;

	var id = document.getElementById(hash);
	if (id)
	{
		id.className += id.className ? ' ' : '';
		id.className += id.className + 'active-hash';
	}
})();