- 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 "<div class=\"lastlogin\"><span>"._('last login').": ".date("r",$unixtime)."</span></div>\n\n";
+ echo "\n<nav class=\"navbar navbar-default navbar-fixed-top\" role=\"navigation\">\n";
+ echo " <div class=\"container-fluid\">\n";
+ echo " <div class=\"navbar-header\">";
+ echo " <a href=\"".$INDEX."\">\n";
+ echo " <img class=\"grav navbar-right\" title=\""._('last login').": ".date("r",$unixtime)."\" ";
+ echo "src=\"https://www.gravatar.com/avatar/".md5(strtolower(trim($email)))."?d=identicon\" /></a>\n";
+ echo ' <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#navbar-collapse-elements">
+ <span class="sr-only">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>';
+ echo " <a class=\"navbar-brand\" href=\"".$INDEX."\">E-DoKo</a>\n";
+ echo " </div>";
+ echo ' <div class="collapse navbar-collapse" id="navbar-collapse-elements">';
+ echo " <ul class=\"nav navbar-nav\">";
+ echo " <li> <a href=\"".$INDEX."\"><span class=\"glyphicon glyphicon-home\"></span>"._('Home')."</a></li>\n";
+ echo " <li> <a href=\"".$INDEX."?action=prefs\"><span class=\"glyphicon glyphicon-cog\"></span>".
+ _('settings')."</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\"><span class=\"glyphicon glyphicon-off\"></span>"._('logout')."</a></li>\n";
+ echo " </ul>\n";
+ echo " </div>\n";
+ echo " </div>\n";
+ echo "</nav>\n";