<div class="navBar" id="mainnav">
	<a href="<!-- webcontentpath -->index.html" <!-- isLanguage -->>Language</a><br>
	<a href="<!-- webcontentpath -->libraries/index.html" <!-- isLibrary -->>Libraries</a><br>
	<a href="<!-- webcontentpath -->tools/index.html">Tools</a><br>
	<a href="<!-- webcontentpath -->environment/index.html">Environment</a><br>
</div>

<script> document.querySelectorAll(".processing-logo")[0].className = "processing-logo"; </script>