From 57f6558602dda7bdaa0287c1518bba24869f2891 Mon Sep 17 00:00:00 2001 From: Ben Ogle Date: Fri, 6 Sep 2013 11:07:43 -0700 Subject: [PATCH] Panels and inset panels are handled better --- themes/atom-dark-ui/panels.less | 13 +++++++------ themes/atom-dark-ui/ui-variables.less | 2 +- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/themes/atom-dark-ui/panels.less b/themes/atom-dark-ui/panels.less index 44793f7a1..a0ea7a499 100644 --- a/themes/atom-dark-ui/panels.less +++ b/themes/atom-dark-ui/panels.less @@ -31,13 +31,13 @@ position: relative; background-color: @inset-panel-background-color; - border-radius: @component-border-radius; - border: 1px solid @tool-panel-border-color; - border-bottom-color: @background-color-highlight; - border-right-color: @background-color-highlight; + border: 1px solid @inset-panel-border-color; + box-shadow: + inset 0 1px 3px fadeout(@inset-panel-border-color, 40%), + inset 0 -1px 3px fadeout(@background-color-highlight, 3%); .panel-heading { - margin-right: 1px; + border-radius: @component-border-radius @component-border-radius 0 0; } } @@ -49,7 +49,8 @@ .panel-heading { margin: 0; - border-bottom: none; + border-bottom: 1px solid @panel-heading-border-color; + border-top: 1px solid fadein(@background-color-highlight, 10%); padding: @component-padding - 2px @component-padding; font-size: @font-size; diff --git a/themes/atom-dark-ui/ui-variables.less b/themes/atom-dark-ui/ui-variables.less index da8308c8a..3f157f635 100644 --- a/themes/atom-dark-ui/ui-variables.less +++ b/themes/atom-dark-ui/ui-variables.less @@ -34,7 +34,7 @@ @inset-panel-border-color: @base-border-color; @panel-heading-background-color: #43484d; -@panel-heading-border-color: transparent; +@panel-heading-border-color: fadein(@base-border-color, 10%); @overlay-background-color: #202123; @overlay-border-color: @background-color-highlight;