diff options
Diffstat (limited to 'portal-gui/rpki/templates/base.html')
| -rw-r--r-- | portal-gui/rpki/templates/base.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/portal-gui/rpki/templates/base.html b/portal-gui/rpki/templates/base.html index 43def531..1f6018bf 100644 --- a/portal-gui/rpki/templates/base.html +++ b/portal-gui/rpki/templates/base.html @@ -8,9 +8,14 @@ </style> </head> <body> + <div id="header"> + <img src="/site_media/img/my.png"> + <img src="/site_media/img/rpki.png"> + </div> <div id="content"> {% if user.is_authenticated %} <span style="float: right; font-size: 80%;">Logged in as {{ user }} | + {% if user.is_staff %}<a href="/admin/">admin</a> |{% endif %} <a href="{% url django.contrib.auth.views.logout %}">Log Out</a></span> {% else %} <span style="float: right; font-size: 80%;"><a href="{% url django.contrib.auth.views.login %}">Log In</a></span> |