// This script allows the specification of a group/set of pageset and generates // two kinds of navigation widgets for that set: // // 1) writeTitleIndex() writes a list of the titles of the pageset in the form: // 1. Title 1 // 2. Title 2 // 3. Title 3 // ...etc. // 2) writeNumberIndex() writes a single strip of navigation buttons in the form: // << [ 1 | 2 | 3 | 4 | etc. ] >> // // Both base their outputs on the pageset array defined just below this comment. // pageset is an array of arrays; the only realistic way to generate a 2D array // in Javascript, but a ridiculously powerful one. Each element in the array is // an array of three elements (although Javascript isn't typed, this may help // explain what I was thinking when I wrote this): // // (NUMBER position, STRING URL, STRING Title) // // The variables pgPosition, pgURL and pgTitle defined below help make it easier // for a human to decipher what's going on, rather than unexplained references to // the 0th element or whatever. // // Ye recipe to make this work: // 1) Reference this script in your web page. Hint: // //