##// END OF EJS Templates
Address review comments
Jonathan Frederic -
Show More
@@ -10,6 +10,7 b''
10 @modal-inner-padding: 15px;
10 @modal-inner-padding: 15px;
11 @grid-float-breakpoint: 540px;
11 @grid-float-breakpoint: 540px;
12 @logo_height: 28px;
12 @logo_height: 28px;
13 @border-radius-base: 2px;
13
14
14 // Disable modal slide-in from top animation.
15 // Disable modal slide-in from top animation.
15 .modal {
16 .modal {
@@ -1,17 +1,14 b''
1 .terminal {
1 .terminal {
2 float: left;
2 float: left;
3 border: black solid 5px;
4 font-family: monospace;
3 font-family: monospace;
5 font-size: 11px;
6 color: white;
4 color: white;
7 background: black;
5 background: black;
8 border-radius: 2px;
6 border-radius: @border-radius-base;
9 box-shadow: 0px 4px 11px 0px gray;
7 box-shadow: 0px 4px 11px 0px gray;
10 border: 0px;
11 padding: @code_padding;
8 padding: @code_padding;
12
9
13 &, dummy-screen {
10 &, dummy-screen {
14 line-height: @code_line_height;
11 line-height: 1em;
15 font-size: @notebook_font_size;
12 font-size: @notebook_font_size;
16 }
13 }
17 }
14 }
@@ -57,7 +57,7 b' ul.breadcrumb {'
57 margin-top: @dashboard_tb_pad;
57 margin-top: @dashboard_tb_pad;
58 margin-bottom: 5*@dashboard_tb_pad;
58 margin-bottom: 5*@dashboard_tb_pad;
59 border: 1px solid @border_color;
59 border: 1px solid @border_color;
60 border-radius: 4px;
60 border-radius: @border-radius-base;
61 }
61 }
62
62
63 .list_container > div {
63 .list_container > div {
General Comments 0
You need to be logged in to leave comments. Login now