// mainSmallNavigation.js. Smaller navigation links.

// function setPublicPath() is in mailTop.js, which is always called before this script
var publicPath = setPublicPath();

document.write( '<table border=0 cellspacing=0 cellpadding=0 align="left" width=100%>' + "\n" );
document.write( '<tr height=25 valign="middle" bgcolor="#99CCFF">' + "\n" );
document.write( '<td align="center" valign="middle">' + "\n" );

document.write( '<A class="small" HREF="' + publicPath + 'reservations/reservations.php">reservations</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" );
document.write( '<A class="small" HREF="' + publicPath + 'maillist/maillist.htm">mailing list</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" );
document.write( '<A class="small" HREF="' + publicPath + 'about/about.htm">about us</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" );
document.write( '<A class="small" HREF="' + publicPath + 'awards/awards.htm">awards</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" );
document.write( '<A class="small" HREF="' + publicPath + 'sponsors/sponsors.htm">sponsors</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" )
document.write( '<A class="small" HREF="' + publicPath + 'directions/directions.htm">directions</A>' );
document.write( '&nbsp;&nbsp;&nbsp;<font color=#666666>&#149;</font>&nbsp;&nbsp;&nbsp;' + "\n" )
document.write( '<A class="small" HREF="' + publicPath + 'contact/contact.htm">contact us</A>' );

document.write( '</td>' + "\n" );
document.write( '</tr>' + "\n" );
document.write( '<tr height="*"><td>&nbsp;</td></tr>' + "\n" );
document.write( '</table>' + "\n" );