2016-02-15 10:02:05 +01:00
|
|
|
<nav class="navbar navbar-default navbar-fixed-top">
|
|
|
|
<div class="container">
|
|
|
|
<div class="navbar-header">
|
|
|
|
<a class="navbar-brand" href="http://gonito.net/">Gonito.net</a>
|
|
|
|
<div id="navbar" class="navbar-collapse collapse">
|
|
|
|
<ul class="nav navbar-nav">
|
|
|
|
$maybe user <- maybeUser
|
|
|
|
_{MsgLoggedAs} #{userIdent $ entityVal user}
|
|
|
|
<li><a href="@{HomeR}">_{MsgHome}</a>
|
|
|
|
$if userIsAdmin $ entityVal user
|
|
|
|
<li><a href="@{CreateChallengeR}">_{MsgCreateChallenge}</a></li>
|
|
|
|
<li><a href="@{ListChallengesR}">_{MsgListChallenges}</a></li>
|
|
|
|
<li><a href="@{YourAccountR}">_{MsgYourAccount}</a></li>
|
|
|
|
<li><a href="@{AuthR LogoutR}">_{MsgLogOut}</a></li>
|
|
|
|
$nothing
|
|
|
|
<li><a href="@{AuthR LoginR}">_{MsgLogIn}</a>
|
2015-08-20 22:33:38 +02:00
|
|
|
$maybe msg <- mmsg
|
2016-02-15 10:02:05 +01:00
|
|
|
|
2015-11-11 13:25:09 +01:00
|
|
|
<div #message .alert .alert-warning><a href="#" class="close" data-dismiss="alert">×</a> #{msg}
|
2016-02-15 10:02:05 +01:00
|
|
|
<br><br><br><br>
|
2015-08-20 22:33:38 +02:00
|
|
|
^{widget}
|