/*
Lucio Tavernini - Navigation Menu
Import: 'relURL' and 'refURL'.
*/
// These lines are for the printer button at the end of some pages.
var pic = new Array(2)
pic[0] = new Image()
pic[1] = new Image()
pic[0].src = "b-print-out.gif"
pic[1].src = "b-print-over.gif"
var k = 0
function changePic() {
document.bprint.src = pic[++k%2].src
}
// Put in frame.
if (top == self)
if (relURL != '') location.replace(relURL)
else if (refURL != '') location.replace(refURL)
else location.replace('tavernini.com')
// Write to document.
function put(s) {
if (top != self) parent.frames[0].document.writeln(s)
}
// This is the menuEntry object.
function menuEntry(hRef, label, height, newWin) {
this.hRef = hRef // Link
this.label = label // What to call the link
this.height = height // Height in pixels
this.newWin = newWin // true <=> Open in a new windoe
}
standard_height = 17
hr_height = 6
hr_width = 6
var menuArray = new Array()
// UTSA-Related Entries
menuArray[menuArray.length] = new menuEntry('home.html', 'Home', standard_height, false)
menuArray[menuArray.length] = new menuEntry('tavernini.html', 'Flash Page', standard_height, false)
menuArray[menuArray.length] = new menuEntry('courses.html', 'Courses I\'m Teaching', standard_height, false)
menuArray[menuArray.length] = new menuEntry('course_notes.html', 'Course Notes', standard_height, false)
menuArray[menuArray.length] = new menuEntry('da.html', 'Differential Automata', standard_height, false)
menuArray[menuArray.length] = new menuEntry('numex.html', 'Numerical Examples', standard_height, false)
// Personal Entries
menuArray[menuArray.length] = new menuEntry('
', hr_width, hr_width, false)
menuArray[menuArray.length] = new menuEntry('favorites.html', 'My Favorites', standard_height, false)
menuArray[menuArray.length] = new menuEntry('news.html', 'News Links', standard_height, false)
menuArray[menuArray.length] = new menuEntry('javascript.html', 'JavaScript Animation', standard_height, false)
menuArray[menuArray.length] = new menuEntry('
', hr_width, hr_width, false)
menuArray[menuArray.length] = new menuEntry('./licciardi/index.html', 'The Licciardi Archive', standard_height, true)
menuArray[menuArray.length] = new menuEntry('./espresso/index.html', 'The Espresso Files', standard_height, true)
menuArray[menuArray.length] = new menuEntry('./gallery/index.html', 'The Gallery', standard_height, true)
menuArray[menuArray.length] = new menuEntry('
', hr_width , hr_width, false)
// ------------------------------
// Generate HTML navigation page.
// ------------------------------
put('')
put("")
put("")
put('')
put('Lucio Tavernini Menu Page')
put('