From cb40e3302e41c62d17a4d7c1935dd28e64ee2748 Mon Sep 17 00:00:00 2001
From: "O.S. Tezer" <ostezer@gmail.com>
Date: Tue, 10 Jun 2014 11:07:04 -0700
Subject: [PATCH] docs: Fix docs' styling conflict with common names

Docker-DCO-1.1-Signed-off-by: O.S. Tezer <ostezer@gmail.com> (github: ostezer)

Closes issue #6329
---
 docs/theme/mkdocs/base.html    | 2 +-
 docs/theme/mkdocs/css/main.css | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/theme/mkdocs/base.html b/docs/theme/mkdocs/base.html
index b4e70002a2..5a78ffe291 100644
--- a/docs/theme/mkdocs/base.html
+++ b/docs/theme/mkdocs/base.html
@@ -66,7 +66,7 @@
     </div>
   </div>
 
-  <div id="push"></div>
+  <div id="push-footer"></div>
 
 </div>
 
diff --git a/docs/theme/mkdocs/css/main.css b/docs/theme/mkdocs/css/main.css
index fba97ec03d..42a7a18a56 100644
--- a/docs/theme/mkdocs/css/main.css
+++ b/docs/theme/mkdocs/css/main.css
@@ -305,7 +305,7 @@ body {
   margin: 0 auto -379px;
 }
 /* Set the fixed height of the footer here */
-#push,
+#push-footer,
 #footer {
   height: 379px;
   background: #253237;