partkeepr

fork of partkeepr
git clone https://git.e1e0.net/partkeepr.git
Log | Files | Refs | Submodules | README | LICENSE

_button.scss (8830B)


      1 $button-arrow-size: 12px !default;
      2 $button-split-size: 14px !default;
      3 $button-icon-spacing: 4px !default;
      4 
      5 $button-small-border-radius: 3px !default;
      6 $button-small-border-width: 1px !default;
      7 $button-small-padding: 2px !default;
      8 $button-small-text-padding: 4px !default;
      9 $button-small-font-size: ceil($font-size * .9) !default; //11px
     10 $button-small-font-size-over: $button-small-font-size !default;
     11 $button-small-font-size-focus: $button-small-font-size-over;
     12 $button-small-font-size-pressed: $button-small-font-size !default;
     13 $button-small-font-size-disabled: $button-small-font-size !default;
     14 $button-small-font-weight: normal !default;
     15 $button-small-font-weight-over: $button-small-font-weight !default;
     16 $button-small-font-weight-focus: $button-small-font-weight-over;
     17 $button-small-font-weight-pressed: $button-small-font-weight !default;
     18 $button-small-font-weight-disabled: $button-small-font-weight !default;
     19 $button-small-font-family: $font-family !default;
     20 $button-small-font-family-over: $button-small-font-family !default;
     21 $button-small-font-family-focus: $button-small-font-family-over;
     22 $button-small-font-family-pressed: $button-small-font-family !default;
     23 $button-small-font-family-disabled: $button-small-font-family !default;
     24 $button-small-icon-size: 16px !default;
     25 
     26 $button-medium-border-radius: 3px !default;
     27 $button-medium-border-width: 1px !default;
     28 $button-medium-padding: 3px !default;
     29 $button-medium-text-padding: 3px !default;
     30 $button-medium-font-size: ceil($font-size * .9) !default; //11px
     31 $button-medium-font-size-over: $button-medium-font-size !default;
     32 $button-medium-font-size-focus: $button-medium-font-size-over;
     33 $button-medium-font-size-pressed: $button-medium-font-size !default;
     34 $button-medium-font-size-disabled: $button-medium-font-size !default;
     35 $button-medium-font-weight: normal !default;
     36 $button-medium-font-weight-over: $button-medium-font-weight !default;
     37 $button-medium-font-weight-focus: $button-medium-font-weight-over;
     38 $button-medium-font-weight-pressed: $button-medium-font-weight !default;
     39 $button-medium-font-weight-disabled: $button-medium-font-weight !default;
     40 $button-medium-font-family: $font-family !default;
     41 $button-medium-font-family-over: $button-medium-font-family !default;
     42 $button-medium-font-family-focus: $button-medium-font-family-over;
     43 $button-medium-font-family-pressed: $button-medium-font-family !default;
     44 $button-medium-font-family-disabled: $button-medium-font-family !default;
     45 $button-medium-icon-size: 24px !default;
     46 
     47 $button-large-border-radius: 3px !default;
     48 $button-large-border-width: 1px !default;
     49 $button-large-padding: 3px !default;
     50 $button-large-text-padding: 3px !default;
     51 $button-large-font-size: ceil($font-size * .9) !default; //11px
     52 $button-large-font-size-over: $button-large-font-size !default;
     53 $button-large-font-size-focus: $button-large-font-size-over;
     54 $button-large-font-size-pressed: $button-large-font-size !default;
     55 $button-large-font-size-disabled: $button-large-font-size !default;
     56 $button-large-font-weight: normal !default;
     57 $button-large-font-weight-over: $button-large-font-weight !default;
     58 $button-large-font-weight-focus: $button-large-font-weight-over;
     59 $button-large-font-weight-pressed: $button-large-font-weight !default;
     60 $button-large-font-weight-disabled: $button-large-font-weight !default;
     61 $button-large-font-family: $font-family !default;
     62 $button-large-font-family-over: $button-large-font-family !default;
     63 $button-large-font-family-focus: $button-large-font-family-over;
     64 $button-large-font-family-pressed: $button-large-font-family !default;
     65 $button-large-font-family-disabled: $button-large-font-family !default;
     66 $button-large-icon-size: 32px !default;
     67 
     68 //base colors for the default button
     69 $button-default-base-color: adjust-color($neutral-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
     70 $button-default-base-color-over: adjust-color($base-color, $hue: -6.667deg, $saturation: 44.444%, $lightness: 10.588%) !default; //E4F3FF
     71 $button-default-base-color-focus: $button-default-base-color-over !default;
     72 $button-default-base-color-pressed: adjust-color($base-color, $hue: -0.725deg, $saturation: -9.556%, $lightness: -3.725%) !default; //B6CBE4
     73 $button-default-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
     74 
     75 $button-default-border-color: adjust-color($button-default-base-color, $hue: 0deg, $saturation: 0%, $lightness: -18.039%) !default;
     76 $button-default-border-color-over: adjust-color($button-default-base-color-over, $hue: 8.177deg, $saturation: -28.283%, $lightness: -12.745%) !default;
     77 $button-default-border-color-focus: $button-default-border-color-over !default;
     78 $button-default-border-color-pressed: adjust-color($button-default-base-color-pressed, $hue: 2.317deg, $saturation: 6.756%, $lightness: -5.294%) !default;
     79 $button-default-border-color-disabled: adjust-color($button-default-base-color-disabled, $hue: 0deg, $saturation: 0%, $lightness: -8.627%) !default;
     80 
     81 $button-default-background-color: $button-default-base-color !default;
     82 $button-default-background-color-over: $button-default-base-color-over !default;
     83 $button-default-background-color-focus: $button-default-background-color-over !default;
     84 $button-default-background-color-pressed: $button-default-base-color-pressed !default;
     85 $button-default-background-color-disabled: $button-default-base-color-disabled !default;
     86 
     87 $button-default-background-gradient: 'glossy-button' !default;
     88 $button-default-background-gradient-over: 'glossy-button-over' !default;
     89 $button-default-background-gradient-focus: $button-default-background-gradient-over !default;
     90 $button-default-background-gradient-pressed: 'glossy-button-pressed' !default;
     91 $button-default-background-gradient-disabled: 'glossy-button-disabled' !default;
     92 
     93 $button-default-background-gradient-color-stops: null !default;
     94 $button-default-background-gradient-color-stops-over: $button-default-background-gradient-color-stops !default;
     95 $button-default-background-gradient-color-stops-focus: $button-default-background-gradient-color-stops-over !default;
     96 $button-default-background-gradient-color-stops-pressed: $button-default-background-gradient-color-stops !default;
     97 $button-default-background-gradient-color-stops-disabled: $button-default-background-gradient-color-stops !default;
     98 
     99 $button-default-color: #333 !default;
    100 $button-default-color-over: $button-default-color !default;
    101 $button-default-color-focus: $button-default-color-over !default;
    102 $button-default-color-pressed: $button-default-color !default;
    103 $button-default-color-disabled: lighten($button-default-color, 35) !default;
    104 
    105 /**
    106  * Toolbar buttons
    107  */
    108 $button-toolbar-arrow-size: 12px !default;
    109 $button-toolbar-split-size: 12px !default;
    110 
    111 $button-toolbar-base-color: adjust-color($base-color, $hue: -213.333deg, $saturation: -55.556%, $lightness: 3.333%) !default;
    112 
    113 $button-toolbar-border-color: transparent !default;
    114 $button-toolbar-border-color-over: adjust-color($base-color, $hue: 0.084deg, $saturation: -9.891%, $lightness: -18.039%) !default;
    115 $button-toolbar-border-color-focus: $button-toolbar-border-color-over;
    116 $button-toolbar-border-color-pressed: adjust-color($base-color, $hue: 0.721deg, $saturation: -17.014%, $lightness: -21.765%) !default;
    117 $button-toolbar-border-color-disabled: transparent !default;
    118 
    119 $button-toolbar-background-color: transparent !default;
    120 $button-toolbar-background-color-over: adjust-color($base-color, $hue: -5deg, $saturation: 44.444%, $lightness: 8.824%) !default;
    121 $button-toolbar-background-color-focus: $button-toolbar-background-color-over;
    122 $button-toolbar-background-color-pressed: adjust-color($base-color, $hue: -1.138deg, $saturation: -11.47%, $lightness: -2.353%) !default;
    123 $button-toolbar-background-color-disabled: transparent !default;
    124 
    125 $button-toolbar-background-gradient: null !default;
    126 $button-toolbar-background-gradient-over: 'glossy-button-over' !default;
    127 $button-toolbar-background-gradient-focus: $button-toolbar-background-gradient-over;
    128 $button-toolbar-background-gradient-pressed: 'glossy-button-pressed' !default;
    129 $button-toolbar-background-gradient-disabled: null !default;
    130 
    131 $button-toolbar-background-gradient-color-stops: null !default;
    132 $button-toolbar-background-gradient-color-stops-over: null !default;
    133 $button-toolbar-background-gradient-color-stops-focus: $button-toolbar-background-gradient-color-stops-over;
    134 $button-toolbar-background-gradient-color-stops-pressed: null !default;
    135 $button-toolbar-background-gradient-color-stops-disabled: null !default;
    136 
    137 $button-toolbar-color: #333 !default;
    138 $button-toolbar-color-over: $button-toolbar-color !default;
    139 $button-toolbar-color-focus: $button-toolbar-color-over;
    140 $button-toolbar-color-pressed: $button-toolbar-color !default;
    141 $button-toolbar-color-disabled: lighten($button-toolbar-color, 35) !default;