From 4c18e0c87e4b1390c79dc502508afe2e626758e4 Mon Sep 17 00:00:00 2001 From: krassowski <5832902+krassowski@users.noreply.github.com> Date: Mon, 25 Sep 2023 21:04:29 +0100 Subject: [PATCH] Lint --- docs/source/custom_css.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/docs/source/custom_css.md b/docs/source/custom_css.md index b8da16269e..ea9721ac35 100644 --- a/docs/source/custom_css.md +++ b/docs/source/custom_css.md @@ -8,19 +8,22 @@ You can use a custom CSS file to modify default Jupyter styling. ```css /* Modify Jupyter Styles */ -#top-panel-wrapper, #jp-top-bar { - background-color: #aecad4!important; +#top-panel-wrapper, +#jp-top-bar { + background-color: #aecad4 !important; } -#menu-panel-wrapper, #jp-MainMenu, #menu-panel { - background-color: #aecad4!important; +#menu-panel-wrapper, +#jp-MainMenu, +#menu-panel { + background-color: #aecad4 !important; } .jp-NotebookPanel-toolbar { - background-color: #aecad4!important; + background-color: #aecad4 !important; } .lm-MenuBar-content { - color: #02484d + color: #02484d; } ``` @@ -44,7 +47,6 @@ h1 { margin-bottom: 40px; color: #10929e; text-decoration: underline; - } h2 {