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