Source

coveragepy / coverage / htmlfiles / ui.less

Full commit
/*
 * ui.less: UI-specific LESS mixins.
 */
@import "definitions.less";
@import "mixins.less";

.chrome-button() {
    .border-radius(3px);
    .box-shadow(0 1px 3px @color-chrome-button-box-shadow);
    .box-align(center);
    .box-sizing(border-box);
    background-coor: @color-chrome-button-background;
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top, @color-chrome-button-gradient-bottom);
    border: 1px solid @color-chrome-button-border;
    color: @color-chrome-button-text;

    .user-select(none);
    cursor: default;

    min-width: 5em;
    padding: 5px 12px;
    text-align: center;

}
.chrome-button-hover() {
    background-color: @color-chrome-button-background-hover;
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top-hover, @color-chrome-button-gradient-bottom-hover);
    color: @color-chrome-button-text-hover;
    border: 1px solid @color-chrome-button-border-hover;
}
.chrome-button-active() {
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top-active, @color-chrome-button-gradient-bottom-active);
    color: @color-chrome-button-text-active;
}
.chrome-button-disabled() {
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top-disabled, @color-chrome-button-gradient-bottom-disabled);
    color: @color-chrome-button-text-disabled;
    text-shadow: 1px 1px @color-chrome-button-text-shadow-disabled;
}
.chrome-button-checked() {
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top-checked, @color-chrome-button-gradient-bottom-checked);
    color: @color-chrome-button-text-checked;
}