merged with dev

This commit is contained in:
Alberto Griggio
2017-03-20 14:06:23 +01:00
5 changed files with 32 additions and 22 deletions

View File

@@ -243,6 +243,13 @@ scale trough {
margin: 6px 6px; /* have to be half of "scale slider / min-width min-height" */
background-color: #2A2A2A;
}
scale.fine-tune trough {
margin: 5px;
padding: 1px;
}
scale.fine-tune trough highlight {
margin: -2px;
}
scale:disabled trough {
background-color: #444;
border-color: #282828;