Further changes to the welcome dashboard for theme customization.

This commit is contained in:
Aditya Toshniwal
2019-11-12 17:53:52 +05:30
committed by Akshay Joshi
parent fb87920bbb
commit 636ab29669
4 changed files with 77 additions and 8 deletions

View File

@@ -33,7 +33,7 @@ $color-gray: #bac1cd !default;
$color-gray-light: #ebeef3 !default;
$color-gray-lighter: #f3f5f9 !default;
$color-brand: $white !default;
$color-brand: $color-primary !default;
/* Typography */
@@ -213,7 +213,7 @@ $sql-title-padding: 3px;
$sql-title-bg: #5b6d7c;
$sql-title-fg: $white;
// Toolbar + editor title heights + title bottom border
$sql-editor-panel-top: $title-height + $text-height-calc*16px + $sql-title-padding*2 + $panel-border-width;
$sql-editor-panel-top: $title-height + $text-height-calc*16px + $sql-title-padding*2 + $panel-border-width - 0.5px;
$sql-gutters-bg: $negative-bg;
$sql-history-detail-bg: $color-gray-lighter;
$sql-history-success-bg: $color-primary-light;

View File

@@ -2,7 +2,7 @@ $white: #fff;
$black: #000;
$color-bg: #212121;
$color-fg: #ddd;
$color-fg: #d4d4d4;
$color-primary: #234d6e;
$color-primary-fg: $color-fg;
@@ -30,7 +30,7 @@ $color-gray: #2e2e2e;
$color-gray-light: #303030;
$color-gray-lighter: #424242;
$color-brand: $white;
$color-brand: #1b71b5;
$border-color: #4a4a4a;
$shadow-base-color: #111111;