fix border color and select height

This commit is contained in:
Matthias BUSSONNIER 2013-01-29 22:04:43 +01:00
parent 502fbe92c9
commit af47d9b287
2 changed files with 3 additions and 3 deletions

View File

@ -88,12 +88,12 @@ span#notebook_name {
} }
.toolbar select, .toolbar label { .toolbar select, .toolbar label {
height : 23px; height : 19px;
vertical-align: top; vertical-align: top;
margin-right:2px; margin-right:2px;
margin-bottom:0; margin-bottom:0;
display: inline; display: inline;
font-size: 85%; font-size: 92%;
margin-left:0.3em; margin-left:0.3em;
margin-right:0.3em; margin-right:0.3em;
} }

View File

@ -2,7 +2,7 @@
@notebook_background : white; @notebook_background : white;
@cell_selected_background: darken(@notebook_background, 2%); @cell_selected_background: darken(@notebook_background, 2%);
@cell_background: darken(@notebook_background, 3.2%); @cell_background: darken(@notebook_background, 3.2%);
@border_color: darken(@cell_selected_background, 10%); @border_color: darken(@cell_selected_background, 31%);
@borderwidth : 1px; @borderwidth : 1px;
@fontBaseColor : black; @fontBaseColor : black;