<p> | |
<a href="${uri("/index.html")}" title="Home">Home</a> | |
| | |
<a href="${uri("/users-guide/index.html")}" title="Users Guide">Users Guide</a> | |
| | |
<a href="${uri("/developers-guide/index.html")}" title="Developers Guide">Developers Guide</a> | |
</p> | |