2017-04-14 19:30:36 +12:00
|
|
|
/* -----------------------------------------------------------------------------
|
|
|
|
Component: Button Styles
|
|
|
|
----------------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
// Show (+/-) Button
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
|
2017-08-29 06:40:43 +12:00
|
|
|
// A button style for the show more options button
|
2017-04-14 19:30:36 +12:00
|
|
|
.button-show {
|
|
|
|
image: url('@{img-url}/plus.svg');
|
|
|
|
image-position: center center;
|
|
|
|
margin: 0;
|
|
|
|
padding: 1px;
|
|
|
|
min-width: 10px;
|
|
|
|
min-height: 10px;
|
|
|
|
&:checked {
|
|
|
|
background-color: @button-bg-color-checked;
|
|
|
|
border-color: @button-border-color-checked;
|
|
|
|
image: url('@{img-url}/minus.svg');
|
|
|
|
&:pressed {
|
|
|
|
background-color: @button-bg-color-pressed;
|
|
|
|
border-color: @button-border-color-pressed;
|
|
|
|
}
|
|
|
|
&:hover {
|
|
|
|
background-color: @button-bg-color-checked-hover;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Tool Button
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
|
2017-08-29 06:40:43 +12:00
|
|
|
// A button style intended for highlighting selected tools
|
2017-04-14 19:30:36 +12:00
|
|
|
.button-tool {
|
|
|
|
background-color: @toolbutton-bg-color;
|
|
|
|
border: 1px solid @toolbutton-border-color;
|
|
|
|
border-radius: 2px;
|
|
|
|
margin: 1px;
|
|
|
|
padding: 0;
|
|
|
|
&:hover {
|
|
|
|
background-color: @toolbutton-bg-color-hover;
|
|
|
|
border-color: @toolbutton-border-color-hover;
|
2017-08-29 06:40:43 +12:00
|
|
|
color: @button-text-color;
|
2017-04-14 19:30:36 +12:00
|
|
|
}
|
|
|
|
&:checked {
|
|
|
|
background-color: @toolbutton-bg-color-checked;
|
|
|
|
border-color: @toolbutton-border-color-checked;
|
2017-08-29 06:40:43 +12:00
|
|
|
color: @toolbutton-text-color-checked;
|
2017-04-14 19:30:36 +12:00
|
|
|
&:hover {
|
|
|
|
background-color: @toolbutton-bg-color-checked-hover;
|
|
|
|
border-color: @toolbutton-border-color-checked-hover;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
&:disabled {
|
|
|
|
color: @text-color-disabled;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-29 06:40:43 +12:00
|
|
|
// Flat Button
|
2017-04-14 19:30:36 +12:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
|
2017-08-29 06:40:43 +12:00
|
|
|
// A flat button style with no border and no margin
|
2017-04-14 19:30:36 +12:00
|
|
|
.button-flat {
|
|
|
|
background-color: none;
|
|
|
|
border: 0;
|
|
|
|
border-radius: 0;
|
|
|
|
margin: 0;
|
|
|
|
&:hover {
|
|
|
|
background-color: @toolbutton-bg-color-hover;
|
|
|
|
}
|
|
|
|
&:pressed {
|
2017-08-29 06:40:43 +12:00
|
|
|
background-color: @accent;
|
2017-04-14 19:30:36 +12:00
|
|
|
}
|
|
|
|
}
|