fixes #9786: enable tables in panels

1 files changed, 20 insertions, 0 deletions

diff --git a/less/panels.less b/less/panels.less
index 9d1b21389..e39fa3adf 100644
--- a/less/panels.less
+++ b/less/panels.less
@@ -18,12 +18,16 @@
   .clearfix();
 }
 
+
 // List groups in panels
 //
 // By default, space out list group content from panel headings to account for
 // any kind of custom content between the two.
 
 .panel {
+  > .table {
+    margin-bottom: 0;
+  }
   > .list-group {
     margin-bottom: 0;
 
@@ -48,6 +52,22 @@
   }
 }
 
+
+// Tables in panels
+//
+// Place a non-bordered `.table` within a panel (not within a `.panel-body`) and
+// watch it go full width.
+
+.panel {
+  > .table {
+    margin-bottom: 0;
+  }
+  > .panel-body + .table {
+    border-top: 1px solid @table-border-color;
+  }
+}
+
+
 // Optional heading
 .panel-heading {
   padding: 10px 15px;