// this function simply changes the border-colour of object "work"
function border_colour(colour) {
	if(document.images) {
		if(document.images.work.style) {
			document.images.work.style.borderColor = colour;
		}
	}
}