/* PageLinks.js       We use client-side includes for this.    */
/* Server-side includes are more for including dynamic content.  */
/* This javascript creates the list of internal page links on each page. */

var cText = ''

cText += '<div id="pagelinks"><ul>'
cText += '<li><a href="index.html">Home</a></li>'
cText += '<li><a href="Acanthostega.html" ><i>Acanthostega</i></a></li>'
cText += '<li><a href="Ichthyostega.html"><i>Ichthyostega</i></a></li>'
cText += '<li><a href="OtherEarlyTetrapods.html">Other Early-<br>Tetrapod Projects</a></li>'
cText += '<li><a href="SharkProject.html">Carboniferous<br>Chondrichthyans</a></li>'
cText += '<li><a href="Publications.html">Publications</a></li>'
cText += '<li><a href="Contemporaries.html">Collaborators</a></li>'
cText += '<li><a href="Students.html">Students</a></li>'
cText += '<li><a href="Expeditions.html">Expeditions</a></li>'
cText += '<li><a href="Biography.html">Biography</a></li>'
cText += '</ul></div>'

document.write(cText)

/************************ end of header file **************************/