@jupyter/web-components/dist/styles/size.d.ts

A component library for building extensions in Jupyter frontends.

/**
 * A formula to retrieve the control height.
 * Use this as the value of any CSS property that
 * accepts a pixel size.
 */
export declare const heightNumber: import("@microsoft/fast-element").CSSDirective;