// change style for navigation link to 'current' page
function resizePaintingNavigation(){
	
	// change this value to accommodate top and bottom spacing around paintings_scrollbox element
	var nonScrollboxHeight = 175
	
	var paintingScrollbox = document.getElementById('paintings_scrollbox')
	if (document.body.scrollHeight) {
		height = document.body.scrollHeight
		paintingScrollbox.style.height = (height-nonScrollboxHeight).toString() + "px"
	}
}


// hook up resizePaintingNavigation() unobtrusively
addEvent(window, 'load', resizePaintingNavigation)
addEvent(window, 'resize', resizePaintingNavigation)