Decreased size of fonts in ‘Selection’ panel

This commit is contained in:
Giulio Cesare Solaroli 2015-03-23 00:04:38 +01:00
parent 4e85ca5d4e
commit 3bc7dbe7db
3 changed files with 12 additions and 8 deletions

View File

@ -1648,7 +1648,7 @@ div.dialogBox {
#selections {
background-color: black;
color: white;
font-size: 18pt; }
font-size: 14pt; }
#selections ul.defaultSet {
padding-top: 10px;
padding-bottom: 10px; }
@ -1713,7 +1713,7 @@ div.dialogBox {
-ms-flex-order: 1;
order: 1;
font-family: "clipperz-font";
font-size: 18pt;
font-size: 14pt;
color: white;
background-color: black;
border: 0px;
@ -1873,7 +1873,7 @@ div.dialogBox {
-ms-flex-direction: row;
flex-direction: row;
padding: 10px;
font-size: 12pt; }
font-size: 10pt; }
#selections .showArchivedCards input {
-webkit-box-flex: none;
-webkit-flex: none;
@ -1888,7 +1888,8 @@ div.dialogBox {
-moz-flex: auto;
-ms-flex: auto;
flex: auto;
padding-left: 5px; }
padding-left: 5px;
line-height: initial; }
#selections .showArchivedCards .count {
-webkit-box-flex: none;
-webkit-flex: none;

File diff suppressed because one or more lines are too long

View File

@ -24,7 +24,7 @@ refer to http://www.clipperz.com.
#selections {
background-color: $main-alternate-color;
color: $main-alternate-text-color;
font-size: 18pt;
font-size: 14pt;
// height: 100%;
@ -79,7 +79,7 @@ refer to http://www.clipperz.com.
@include order(1);
font-family: "clipperz-font";
font-size: 18pt;
font-size: 14pt;
color: white;
background-color: black;
border: 0px;
@ -225,7 +225,7 @@ refer to http://www.clipperz.com.
@include flex-direction(row);
padding: 10px;
font-size: 12pt;
font-size: 10pt;
input {
@include flex(none);
@ -234,6 +234,9 @@ refer to http://www.clipperz.com.
.label {
@include flex(auto);
padding-left: 5px;
// font-size: 10pt;
line-height: initial;
}
.count {