@ -1721,3 +1721,8 @@ div.topLinks a {
div.topLinks a:hover {
color : black;
}
div.topLinks a.feedback {
color : red;
@ -109,6 +109,11 @@ window.onload = init;
<?php } ?>
<a href="prefs.php"><?php echo __('Preferences') ?></a>
<?php if (defined('FEEDBACK_URL')) ?>
| <a class="feedback" href="<?php echo FEEDBACK_URL ?>">
<?php echo __('Comments?') ?></a>
<?php ?>
<?php if (!SINGLE_USER_MODE) { ?>
| <a href="logout.php"><?php echo __('Logout') ?></a>