/**
* DevExtreme (widgets/generic/size-schemes/shared/base.less)
* Version: 19.2.6
* Build date: Thu Jan 30 2020
*
* Copyright (c) 2012 - 2020 Developer Express Inc. ALL RIGHTS RESERVED
* Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
*/
// Base inline widgets paddings
@GENERIC_BASE_INLINE_WIDGET_VERTICAL_PADDING:
    @GENERIC_BASE_INLINE_WIDGET_HEIGHT - @GENERIC_BASE_INLINE_BLOCK_HEIGHT;
@GENERIC_BASE_INLINE_WIDGET_TOP_PADDING:
    floor(@GENERIC_BASE_INLINE_WIDGET_VERTICAL_PADDING/2);
@GENERIC_BASE_INLINE_WIDGET_BOTTOM_PADDING:
    @GENERIC_BASE_INLINE_WIDGET_VERTICAL_PADDING - @GENERIC_BASE_INLINE_WIDGET_TOP_PADDING;

// Base bordered inline widgets sizes
@GENERIC_BASE_BORDER_WIDTH: 1px;
@GENERIC_BASE_INLINE_BORDEREDWIDGET_INNER_SIZE:
    @GENERIC_BASE_INLINE_WIDGET_HEIGHT - @GENERIC_BASE_BORDER_WIDTH * 2;
@GENERIC_BASE_INLINE_BORDEREDWIDGET_TOP_PADDING:
    @GENERIC_BASE_INLINE_WIDGET_TOP_PADDING - @GENERIC_BASE_BORDER_WIDTH;
@GENERIC_BASE_INLINE_BORDEREDWIDGET_HORIZONTAL_PADDING:
    @GENERIC_BASE_INLINE_HORIZONTAL_PADDING - @GENERIC_BASE_BORDER_WIDTH;
@GENERIC_BASE_INLINE_BORDEREDWIDGET_BOTTOM_PADDING:
    @GENERIC_BASE_INLINE_WIDGET_BOTTOM_PADDING - @GENERIC_BASE_BORDER_WIDTH;
@GENERIC_BASE_INLINE_BORDEREDWIDGET_PADDING:
    @GENERIC_BASE_INLINE_BORDEREDWIDGET_TOP_PADDING
    @GENERIC_BASE_INLINE_BORDEREDWIDGET_HORIZONTAL_PADDING
    @GENERIC_BASE_INLINE_BORDEREDWIDGET_BOTTOM_PADDING;