From 317fe787fb4d2fe2852bb9d5fbcb96c15767f553 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Pior?= <piorek82@gmail.com>
Date: Wed, 13 Jun 2018 14:46:48 +0200
Subject: [PATCH] #7517 wip

- remove unnecessary Data grid border
- dark style for table tooltip
- dark fieldset styles
---
 js/lab/src/theme/static/dark.css | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/js/lab/src/theme/static/dark.css b/js/lab/src/theme/static/dark.css
index 98d9464779..929fb1644f 100644
--- a/js/lab/src/theme/static/dark.css
+++ b/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);
+}