From fcf5142e4d32e79cd0c322f6987df2f8f4189e97 Mon Sep 17 00:00:00 2001
From: Levi Morrison <levim@php.net>
Date: Wed, 10 Jul 2013 12:40:59 -0600
Subject: [PATCH] Some more layout fixes.

---
 include/header.inc   | 2 ++
 styles/bootstrap.css | 9 +++++++--
 styles/doc.css       | 4 +++-
 styles/theme.css     | 5 +++++
 4 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/include/header.inc b/include/header.inc
index 9ff23080f..4b2268185 100644
--- a/include/header.inc
+++ b/include/header.inc
@@ -119,6 +119,7 @@ if (isset($shortname) && $shortname) {
 <div id="layout" class="container">
 <?php if (!empty($config['breadcrumbs'])): ?>
   <div id="breadcrumbs" class="row-fluid">
+    <div class="breadcrumbs-inner">
     <ul>
       <?php
           $breadcrumbs = $config['breadcrumbs'];
@@ -129,6 +130,7 @@ if (isset($shortname) && $shortname) {
           echo "      <li><a href='{$last['link']}'>{$last['title']}</a></li>";
       ?>
     </ul>
+    </div>
   </div>
 <?php endif; ?>
 
diff --git a/styles/bootstrap.css b/styles/bootstrap.css
index f94659305..8ccb4353e 100644
--- a/styles/bootstrap.css
+++ b/styles/bootstrap.css
@@ -2022,13 +2022,18 @@ textarea {
   body {
     padding-top:3.25em;
   }
+  #topsearch.navbar-search {
+    margin-right: 1.5em;
+  }
 }
 @media (min-width: 1500px) {
   body.docs .container,
   body.docs .navbar-static-top .container,
   body.docs .navbar-fixed-top .container,
   body.docs .navbar-fixed-bottom .container {
-    width: 1480px;
-    padding-left:.75em;
+    width: 1440px;
+  }
+  #topsearch.navbar-search {
+    margin-right: 0;
   }
 }
diff --git a/styles/doc.css b/styles/doc.css
index 1a44e6bd9..a404023aa 100755
--- a/styles/doc.css
+++ b/styles/doc.css
@@ -466,11 +466,13 @@ div.soft-deprecation-notice blockquote.sidebar {
 
 #breadcrumbs {
     background:#eee;
-    padding:.5em .75em;
     margin:0 0 .75em;
     -moz-border-radius:2px;
     border-radius:2px;
 }
+#breadcrumbs .breadcrumbs-inner {
+    padding:.5em .75em;
+}
 #breadcrumbs ul {
     padding:0;
     margin:0;
diff --git a/styles/theme.css b/styles/theme.css
index 685c1d21e..3104b769a 100755
--- a/styles/theme.css
+++ b/styles/theme.css
@@ -969,3 +969,8 @@ fieldset {
     margin-left:1%;
   }
 }
+@media (min-width:1548px) {
+  #layout {
+    padding-right:0;
+  }
+}