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) {
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;
+ }
+}