static/view.js


1
2
3
4
5

window.onload = function() {
	var line = 'code' + document.location.hash.substr(1);
	var codeline = document.getElementById(line);
	codeline.className = 'selected';
}