From db3bb82dbda2d9324ebff509876fa8ea17047ad3 Mon Sep 17 00:00:00 2001 From: Yurong He <43652751+YurongHe@users.noreply.github.com> Date: Wed, 14 Nov 2018 15:36:24 -0800 Subject: [PATCH] Change code and text font to 11 (#3216) Ajust the padding top to 0 Change task bar height to 36 --- src/sql/parts/notebook/notebook.component.html | 2 +- src/sql/parts/notebook/notebook.css | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sql/parts/notebook/notebook.component.html b/src/sql/parts/notebook/notebook.component.html index 49db5b2fe0..af172b0de0 100644 --- a/src/sql/parts/notebook/notebook.component.html +++ b/src/sql/parts/notebook/notebook.component.html @@ -5,7 +5,7 @@ *--------------------------------------------------------------------------------------------*/ -->