- echo "\n<div class=\"status\">\n";
- echo $name,"\n";
- echo " | <a href=\"".$INDEX."\">"._('mypage')."</a>\n";
- echo " | <a href=\"".$INDEX."?action=prefs\">"._('settings')."</a>\n";
- echo " | <a href=\"".$INDEX."?action=new\">"._('new game')."</a>\n";
- echo " | <a href=\"".$INDEX."?action=stats\">"._('statistics')."</a>\n";
- echo " | <a href=\"".$WIKI."\">"._('wiki/bugs')."</a>\n";
- echo " | <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">"._('atom')."</a>\n";
- echo " | <a href=\"".$INDEX."?action=logout\">"._('logout')."</a>\n";
- echo "</div>\n\n";
+ echo "\n<div class=\"navigation\">\n";
+ echo " <span class=\"brand\" href=\"#\">E-DoKo</span>\n";
+ echo " <ul class=\"nav\">";
+ echo " <li>\n";
+ echo " <img title=\"$name\" ";
+ echo "src=\"http://www.gravatar.com/avatar/".md5(strtolower(trim($email)))."?d=identicon\" />\n";
+ echo " </li>\n";
+ echo " <li> <a href=\"".$INDEX."\"><i class=\"icon-home\"></i><span class=\"navhide\">"._('Home')."</span></a></li>\n";
+ echo " <li> <a href=\"".$INDEX."?action=prefs\"><i class=\"icon-cog\"></i><span class=\"navhide\">".
+ _('settings')."</span></a></li>\n";
+ echo " <li> <a href=\"".$INDEX."?action=new\">"._('new game')."</a></li>\n";
+ echo " <li> <a href=\"".$INDEX."?action=stats\">"._('statistics')."</a></li>\n";
+ echo " <li> <a href=\"".$WIKI."\">"._('wiki/bugs')."</a></li>\n";
+ echo " <li> <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">"._('atom')."</a></li>\n";
+ echo " <li> <a href=\"".$INDEX."?action=logout\"><i class=\"icon-off\"></i><span class=\"navhide\">"._('logout')."</span></a></li>\n";
+ echo " </ul>\n";
+ echo "</div>\n";