#7517 wip

- remove unnecessary Data grid border
- dark style for table tooltip
- dark fieldset styles

js/lab/src/theme/static/dark.css

@@ -15,6 +15,7 @@
  */
 
 @import './fonts.css';
+@import './base.css';
 
 body {
   background-color: var(--jp-layout-color3);
@@ -121,8 +122,9 @@ pre {
 }
 
 .p-DataGrid {
-  border-color: var(--jp-border-color2);
+  border-color: transparent;
 }
+
 .p-DataGrid-viewport {
   border-color: var(--jp-border-color2);
 }
@@ -149,6 +151,12 @@ pre {
   border-color: var(--jp-border-color2) !important;
 }
 
+.p-DataGrid-tooltip {
+  background-color: var(--jp-layout-color1);
+  color: var(--jp-content-font-color1);
+  border-color: var(--jp-border-color1);
+}
+
 .p-DataGrid-scrollCorner {
   background-color: var(--jp-layout-color0);
   border-color: var(--jp-border-color2);
@@ -202,3 +210,11 @@ pre {
   fill: var(--jp-content-font-color2);
   stroke: var(--jp-content-font-color2);
 }
+
+.beaker-fieldset {
+  border-color: var(--jp-border-color2);
+}
+
+.beaker-fieldset legend {
+  color: var(--jp-content-font-color0);
+}