From 9a619ceaabfc21e8bced1e5b37fa1418e2f862f4 Mon Sep 17 00:00:00 2001
From: "Jonathan S. Katz" <jonathan.katz@excoventures.com>
Date: Tue, 12 Feb 2019 16:22:52 -0500
Subject: [PATCH] Apply navbar fix to the documentation pages.

For some reason, I missed this in my original patch.
---
 templates/docs/docspage.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/docs/docspage.html b/templates/docs/docspage.html
index 6be326dc..c0adc0fe 100644
--- a/templates/docs/docspage.html
+++ b/templates/docs/docspage.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/img/about/press/elephant.png" alt="PostgreSQL Elephant Logo">
             </a>
-- 
2.39.5