From c9385abe2418044194678797fdbcc1ec2d4b59f6 Mon Sep 17 00:00:00 2001 From: "Jessica B. Hamrick" Date: Wed, 28 Oct 2015 11:13:20 -0700 Subject: [PATCH] Prototype 5 --- notebook/static/notebook/less/cell.less | 45 ++++++-------------- notebook/static/notebook/less/variables.less | 2 + 2 files changed, 14 insertions(+), 33 deletions(-) diff --git a/notebook/static/notebook/less/cell.less b/notebook/static/notebook/less/cell.less index 506dc0f72..9eae93ce2 100644 --- a/notebook/static/notebook/less/cell.less +++ b/notebook/static/notebook/less/cell.less @@ -1,6 +1,4 @@ ._marked_style(@n) { - - border-left-color: @marked_border_color; border-left-width: @n; padding-left: 6px-@n; } @@ -13,58 +11,39 @@ div.cell { border-width: thin; border-style: solid; - &.selected { - border-color: @border_color; - /* Don't border the cells when printing */ - @media print { - border-color: transparent; - } - } - - .command_mode .jp-marking &.selected { - border-color: @marked_border_color; + &.marked { + ._marked_style(3px); + border-left-color: @marked_border_color_light; /* Don't border the cells when printing */ @media print { border-color: transparent; } - - ._marked_style(3px); - - &.marked { - ._marked_style(4px); - } - - - } - .command_mode &.selected { - - ._marked_style(3px); + &.selected { + border-color: @border_color; + border-left-color: @marked_border_color; + ._marked_style(2px); &.marked { ._marked_style(4px); } - - + /* Don't border the cells when printing */ + @media print { + border-color: transparent; + } } - - .edit_mode &.selected { - border-color: green; + border-color: @edit_mode_border_color; /* Don't border the cells when printing */ @media print { border-color: transparent; } } - - &.marked { - ._marked_style(4px); - } width: 100%; padding: 5px; diff --git a/notebook/static/notebook/less/variables.less b/notebook/static/notebook/less/variables.less index ece1d86a1..8827cce32 100644 --- a/notebook/static/notebook/less/variables.less +++ b/notebook/static/notebook/less/variables.less @@ -16,3 +16,5 @@ @output_pre_color: black; @notification_widget_bg: rgba(240, 240, 240, 0.5); @marked_border_color: #009AF5; +@marked_border_color_light: #7AC7F5; +@edit_mode_border_color: green; \ No newline at end of file