top padding for all tab-content

Author: stilscher

src/stylesheet.scss

@@ -67,18 +67,16 @@ ul,
   transform: rotate(90deg);
 }
 
-
-
 .remove-margin {
   margin: 0px;
 }
 
-.filebox {
-  background-color: #f5f2f0;
+.tab-content {
+  padding-top: ($spacer * .5) !important;
 }
 
-.filebox h3 {
-  margin-top: 0px;
+.filebox {
+  background-color: #f5f2f0;
 }
 
 .filebox ul {

src/ui/panel/Panel.re

@@ -43,7 +43,7 @@ let make = (~state, ~dispatch) => {
   let current = state.selected_panel;
   <div className="d-flex flex-column border-right border-left h-25">
     {make_nav_pills(current, dispatch)}
-    <div className="tab-content overflow-auto pt-2">
+    <div className="tab-content overflow-auto">
       <div className="tab-pane active">
         {switch (current) {
          | Some(Warnings) => <WarningView warnings={state.warnings} dispatch />