From 4ea34e0136f01a20eefe86920fa65b3d43d2150b Mon Sep 17 00:00:00 2001
From: Pierre-Olivier Mercier <nemunaire@nemunai.re>
Date: Wed, 5 Dec 2018 07:49:20 +0100
Subject: [PATCH] frontend: sticky-top navbar

---
 frontend/static/index.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontend/static/index.html b/frontend/static/index.html
index f1ee57df..05c2a237 100644
--- a/frontend/static/index.html
+++ b/frontend/static/index.html
@@ -66,6 +66,7 @@
 
     <div ng-controller="DataController">
 
+    <div class="sticky-top">
     <nav class="navbar navbar-expand-sm bg-primary" style="border-bottom: none;" ng-cloak>
       <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navMenu" aria-controls="navMenu" aria-expanded="false" aria-label="Toggle navigation">
 	<span class="navbar-toggler-icon"></span>
@@ -120,6 +121,7 @@
     <div class="progress" style="background-color: #4eaee6; height: 5px; border-radius: 0;">
       <div class="progress-bar bg-secondary" role="progressbar" style="width: {{timeProgression * 100}}%"></div>
     </div>
+    </div>
 
     <div class="container page-header text-primary" ng-cloak>
       <h1 ng-if="(current_theme)">{{ themes[current_theme].name }} <small class="authors" ng-if="themes[current_theme].authors" ng-bind-html="themes[current_theme].authors"></small></h1>