Apply navbar fix to the documentation pages.

For some reason, I missed this in my original patch.

diff --git a/templates/docs/docspage.html b/templates/docs/docspage.html
index 6be326dc64c8bdec2102a4db78a0142ea11c290c..c0adc0fe8a928ae3159ca88478dacaaab9668046 100644 (file)
--- 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>