Source

coveragepy / coverage / htmlfiles / ui.less

/*
 * 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);
    .user-select(none);
    cursor: default;
    min-width: 5em;
    padding: 5px 12px;
    text-align: center;
    border: 1px solid @color-chrome-button-border;
}
.chrome-button-available(){
    background-color: @color-chrome-button-background;
    .background-linear-gradient-top-to-bottom(@color-chrome-button-gradient-top, @color-chrome-button-gradient-bottom);
    color: @color-chrome-button-text;
}
.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-color: @color-chrome-button-gradient-top-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-color: @color-chrome-button-gradient-top-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-color: @color-chrome-button-gradient-top-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;
}
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.