2017-11-10 12:39:55 +01:00
|
|
|
{{define "menu"}}
|
2018-06-20 23:47:47 +02:00
|
|
|
<div id="navigation" class="highlight_light border_top border_bottom navigation">
|
2018-01-07 23:05:51 +01:00
|
|
|
<a href="/">Home</a>
|
2018-07-09 21:41:17 +02:00
|
|
|
<a href="{{if .Authenticated}}/user/files{{else}}/history{{end}}">My Files</a>
|
2019-02-07 23:09:54 +01:00
|
|
|
{{if .Authenticated}}<a href="/user/lists">My Lists</a>{{end}}
|
2018-06-23 21:17:53 +02:00
|
|
|
<a href="/api">API</a>
|
2018-06-25 23:05:18 +02:00
|
|
|
{{if .Authenticated}}<a href="/user">{{.Username}}</a>
|
|
|
|
<a href="/logout" style="vertical-align: 0.6em; font-size: 0.9em; padding: 1px;">(Log out)</a>{{else}}
|
2018-06-23 21:17:53 +02:00
|
|
|
<a href="/login">Login</a>
|
|
|
|
<a href="/register">Register</a>
|
|
|
|
{{end}}
|
2018-01-07 23:05:51 +01:00
|
|
|
<a href="javascript:void(0);" class="icon" onclick="expandNavigation()">☰</a>
|
|
|
|
<script>
|
|
|
|
function expandNavigation() {
|
|
|
|
var x = document.getElementById("navigation");
|
|
|
|
if (!x.className.includes("responsive")) {
|
|
|
|
x.className += " responsive";
|
|
|
|
} else {
|
|
|
|
x.className = x.className.replace(" responsive", "");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
</script>
|
2017-11-10 12:39:55 +01:00
|
|
|
</div>
|
2018-06-20 23:47:47 +02:00
|
|
|
{{end}}
|