1 | //
|
2 | // Copyright 2018 Google Inc.
|
3 | //
|
4 | // Permission is hereby granted, free of charge, to any person obtaining a copy
|
5 | // of this software and associated documentation files (the "Software"), to deal
|
6 | // in the Software without restriction, including without limitation the rights
|
7 | // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
8 | // copies of the Software, and to permit persons to whom the Software is
|
9 | // furnished to do so, subject to the following conditions:
|
10 | //
|
11 | // The above copyright notice and this permission notice shall be included in
|
12 | // all copies or substantial portions of the Software.
|
13 | //
|
14 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
15 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
16 | // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
17 | // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
18 | // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
19 | // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
20 | // THE SOFTWARE.
|
21 | //
|
22 |
|
23 | // Keep this in sync with constants.numbers.MIN_LEADING_STROKE_EDGE_POSITION
|
24 | $min-leading-stroke-edge-position: 12px !default;
|
25 | // The gap between the stroke end and floating label
|
26 | // Keep this in sync with constants.numbers.NOTCH_GUTTER_SIZE
|
27 | $notch-gutter-size: 4px !default;
|
28 | $border-width: 1px !default;
|
29 | $leading-width: 12px !default;
|
30 | $padding: 4px !default;
|
31 | // This variable keeps the before/after JS label centered in the notch when the font-size is changed.
|
32 | $label-adjust: 14% !default;
|
33 |
|
34 | /// Label box height when it is floating above for notched upgraded. This value is used to put the label vertically in
|
35 | /// the middle when it is notched.
|
36 | $label-box-height: 13.5px !default;
|
37 |
|
38 | /// Label adjust offset applied to floating label when it is notched. Since notch without upgraded has different font
|
39 | /// size we add additional offset value.
|
40 | $label-adjust-absolute: 2.5px !default;
|