navigation.js

document.write('\
\
<nav>\
<ul>\
   <li><a href="./index.html"><img src="Images/Index/Logo.png" alt=""></a></li>\
   <li><a href="./index.html">Home</a></li>\
   <li><a href="./collaborators.html">Collaborators</a></li>\
   <li><a href="./publications.html">Publications</a></li>\
   <li><a href="./download.html" >Download</a></li>\
   <li><a href="./installation.html">Installation guide</a></li>\
   <li><a href="https://opentopas.readthedocs.io/en/latest/" target="_blank">User guide</a></li>\
   <li><a href="https://github.com/OpenTOPAS/topas/discussions" target="_blank">User forum</a></li>\
   <li><a href="./userscollaboration.html">Collaborate</a></li>\
   <li><a href="./externalTools.html">External tools</a></li>\
   <li><a href="./news.html">News</a></li>\
   <li><a href="./contact.html">Contact</a></li>\
</ul>\
</nav>\
\
');