fixes #7140: hide navbar toggle in print

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 469d946b9ecd25324e892390e23e9bc96ebe50c8..cffcb1bab9fb5e67e6ac937f39c12b3ac45ec498 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -263,6 +263,9 @@ table {
   h3 {
     page-break-after: avoid;
   }
+  .navbar-toggle {
+    display: none;
+  }
 }
 
 * {

diff --git a/less/print.less b/less/print.less
index c7e78e234dd0875d82c03a37852a397790f9b1b9..db2749206c3f3893c6c223656691c4644350976b 100644 (file)
--- a/less/print.less
+++ b/less/print.less
@@ -66,4 +66,9 @@
   h3 {
     page-break-after: avoid;
   }
+
+  // Bootstrap components
+  .navbar-toggle {
+    display: none;
+  }
 }