Auto-hides the navigation bar when scrolling a page

Scrolling down hides the navigation bar to give more room to the content. Scrolling up is interpreted as the user wanting to go back to the top of the page, so the navigation bar is shown again.
megakemp · Apr 7, 2019 · c1c063b · c1c063b
1 parent 20e2936
commit c1c063b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/_layouts/default.html b/_layouts/default.html
@@ -34,7 +34,7 @@
   <script src="https://use.fontawesome.com/44db616403.js" async></script>
 </head>
 <body>
-  <nav class="topbar" role="navigation">
+  <nav class="topbar header" role="navigation">
     <ul>
       <li role="presentation"><a href="/about/">about</a></li>
       <li role="presentation" class="hide"><a href="/offering/">offering</a></li>

diff --git a/css/main.css b/css/main.css
@@ -7,3 +7,4 @@
 {% include css/syntax.css %}
 {% include css/footnotes.css %}
 {% include css/flags.css %}
+{% include css/header.css %}