fixes #9786: enable tables in panels

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;