diff --git a/IPython/html/static/base/less/variables.less b/IPython/html/static/base/less/variables.less index e28dbf1..0eeb9bb 100644 --- a/IPython/html/static/base/less/variables.less +++ b/IPython/html/static/base/less/variables.less @@ -10,6 +10,7 @@ @modal-inner-padding: 15px; @grid-float-breakpoint: 540px; @logo_height: 28px; +@border-radius-base: 2px; // Disable modal slide-in from top animation. .modal { diff --git a/IPython/html/static/terminal/less/terminal.less b/IPython/html/static/terminal/less/terminal.less index 78cf8d1..69ae1be 100644 --- a/IPython/html/static/terminal/less/terminal.less +++ b/IPython/html/static/terminal/less/terminal.less @@ -1,17 +1,14 @@ .terminal { float: left; - border: black solid 5px; font-family: monospace; - font-size: 11px; color: white; background: black; - border-radius: 2px; + border-radius: @border-radius-base; box-shadow: 0px 4px 11px 0px gray; - border: 0px; padding: @code_padding; &, dummy-screen { - line-height: @code_line_height; + line-height: 1em; font-size: @notebook_font_size; } } diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less index 8ed509a..7cd827a 100644 --- a/IPython/html/static/tree/less/tree.less +++ b/IPython/html/static/tree/less/tree.less @@ -57,7 +57,7 @@ ul.breadcrumb { margin-top: @dashboard_tb_pad; margin-bottom: 5*@dashboard_tb_pad; border: 1px solid @border_color; - border-radius: 4px; + border-radius: @border-radius-base; } .list_container > div {