<ul>
  <li id="first"><?php echo link_to('home', '@homepage'); ?></li>
  <li><?php echo link_to('about', '@about'); ?></li>
  <li><?php echo link_to('download', '@download'); ?></li>
  <li><?php echo link_to('manual', '@manual'); ?></li>
  <li><?php echo link_to('api docs', '@api_documentation'); ?></li>
  <li><?php echo link_to('blog', '@blog'); ?></li>
  <li id="last"><?php echo link_to('trac', '@trac'); ?></li>
</ul>