The other thing you could do is apply some styles to the <a>;
#navigation a{ padding: 5px 20x; border-right: 1px solid #999; }
#navigation a:last-child{ border:none;}
Then, have the loop as:
<div id="navigation">
<?php foreach ($rootsRecords as $listRecord): ?>
<?php $isSelected = ($listRecord['num'] == $detailRecord['num']); ?>
<?php if ($isSelected):?>
<div class="selected"><?php echo ($listRecord['name']) ?></div>
<?php else: ?>
<a href="<?php echo htmlencode($listRecord['_link']) ?>"><?php echo htmlencode($listRecord['name']) ?></a>
<?php endif; ?>
<?php endforeach ?>
</div>
Cheers,
Tim (toledoh.com.au)