@jupyter/web-components
Version:
A component library for building extensions in Jupyter frontends.
12 lines (11 loc) • 535 B
JavaScript
// Copyright (c) Jupyter Development Team.
// Copyright (c) Microsoft Corporation.
// Distributed under the terms of the Modified BSD License.
import { cssPartial } from '@microsoft/fast-element';
import { baseHeightMultiplier, density, designUnit, elementScale } from '../design-tokens.js';
/**
* A formula to retrieve the control height.
* Use this as the value of any CSS property that
* accepts a pixel size.
*/
export const heightNumber = cssPartial `(${baseHeightMultiplier} + ${density} + ${elementScale}) * ${designUnit}`;