From c17f4ec09994c0be55ea699e49fb0caecc31f23b Mon Sep 17 00:00:00 2001
From: vitaut <victor.zverovich@gmail.com>
Date: Tue, 19 May 2015 08:30:16 -0700
Subject: [PATCH] Make sure the navbar content is not shifted because of
 scrollbars

https://github.com/twbs/bootstrap/issues/1648
---
 doc/cppformat.less | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/cppformat.less b/doc/cppformat.less
index 1c6f7fe9..9135b8f3 100644
--- a/doc/cppformat.less
+++ b/doc/cppformat.less
@@ -3,6 +3,10 @@
 @header-bg: #094d75;
 @icon-font-path: "fonts/";
 
+html {
+  overflow-y: scroll;
+}
+
 .navbar {
   border-radius: 0;
   margin-bottom: 0;