From 47da7af8cac050a8d5fcb6c609e202003176545f Mon Sep 17 00:00:00 2001
From: "Jonathan S. Katz" <jonathan.katz@excoventures.com>
Date: Mon, 4 Feb 2019 11:40:42 -0500
Subject: [PATCH] Pin the navigation bar to the top of the page.

From user feedback, the scrolling navigation bar would cause problems with
readability, especially in larger font views. This keeps the navigation bar
pinned to the top, until we can find a way to more easily handle this.

In the context of pgarchives, this is one bit of "future-proofing" as we do not
currently show the shout box in pgarchives, but may do so in the near future.
---
 django/archives/mailarchives/templates/base.html |  2 +-
 django/media/css/main.css                        | 15 +--------------
 django/media/js/main.js                          |  7 -------
 3 files changed, 2 insertions(+), 22 deletions(-)

diff --git a/django/archives/mailarchives/templates/base.html b/django/archives/mailarchives/templates/base.html
index 1dda003..43f05e5 100644
--- a/django/archives/mailarchives/templates/base.html
+++ b/django/archives/mailarchives/templates/base.html
@@ -26,7 +26,7 @@
       <div class="row justify-content-md-center">
         <div class="col">
           <!-- Header -->
-          <nav class="navbar navbar-expand-lg navbar-light bg-light fixed-top">
+          <nav class="navbar navbar-expand-lg navbar-light bg-light">
             <a class="navbar-brand p-0" href="/">
               <img class="logo" src="/media-archives/img/about/press/elephant.png" alt="PostgreSQL Elephant Logo">
             </a>
diff --git a/django/media/css/main.css b/django/media/css/main.css
index 6fc3546..eff40a7 100644
--- a/django/media/css/main.css
+++ b/django/media/css/main.css
@@ -462,6 +462,7 @@ ul.bold {
     background-color: #336791;
     font-weight: 600;
     padding-bottom: 0.2rem;
+    padding-top: 0.2rem;
 }
 
 .pg-shout-box a {
@@ -803,16 +804,6 @@ h1.subject {
     }
 }
 
-@media (min-width: 992px) {
-    .navbar.compressed {
-      padding: 0 10px;
-    }
-
-    .pg-shout-box {
-      padding-top: 3.7rem;
-    }
-}
-
 @media (max-width: 992px) {
     .archive {
         margin-top: 2rem;
@@ -826,10 +817,6 @@ h1.subject {
       width: 1rem;
       height: 1.5rem;
     }
-
-    .pg-shout-box {
-      padding-top: 2.8rem;
-    }
 }
 
 @media (max-width: 768px) {
diff --git a/django/media/js/main.js b/django/media/js/main.js
index bd1093e..6e54b30 100644
--- a/django/media/js/main.js
+++ b/django/media/js/main.js
@@ -1,10 +1,3 @@
-$(document).ready(function() {
-  $(window).on("scroll", function() {
-    $(".navbar").toggleClass("compressed", $(window).scrollTop() >= 20);
-  });
-});
-
-
 $(function(){
     /* Callback from main message view when a message is picked in dropdown */
     $('#thread_select').change(function(e) {
-- 
2.39.5