From 66d13b88dd5b00a9e8015194000c8173770d10dc Mon Sep 17 00:00:00 2001 From: Olha Kurkaiedova Date: Tue, 2 Jan 2018 23:55:10 +0200 Subject: [PATCH] Style fixes for code mirror areas Added padding top to divide header from code mirror area so now it doesn't seem to close also removed custom font from code mirror areas --- src/index.html | 2 +- src/styles/common/overwrite.styl | 3 ++- src/styles/common/variables.styl | 1 - 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/index.html b/src/index.html index 38eedc1..be1f3b2 100644 --- a/src/index.html +++ b/src/index.html @@ -3,7 +3,7 @@ - + XSnippet diff --git a/src/styles/common/overwrite.styl b/src/styles/common/overwrite.styl index a0dd0db..cf12223 100644 --- a/src/styles/common/overwrite.styl +++ b/src/styles/common/overwrite.styl @@ -3,7 +3,7 @@ .react-codemirror2, .CodeMirror height: 100% !important - font-family: font-ubuntu-mono !important + line-height: 1.2 .new-snippet .react-codemirror2, .new-snippet .CodeMirror @@ -15,6 +15,7 @@ .CodeMirror-sizer margin-left: 39px + padding-top: 5px .CodeMirror-gutters border-right: none diff --git a/src/styles/common/variables.styl b/src/styles/common/variables.styl index ef0b4ee..44bdb14 100644 --- a/src/styles/common/variables.styl +++ b/src/styles/common/variables.styl @@ -37,4 +37,3 @@ offset = 70px font-raleway = 'Raleway', sans-serif font-quicksand = 'Quicksand', sans-serif -font-ubuntu-mono = 'Ubuntu Mono', monospace