@redocly/theme/lib/components/Filter/FilterOptions.js

Shared UI components lib

"use strict";
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.FilterOptions = FilterOptions;
const react_1 = __importDefault(require("react"));
const styled_components_1 = __importDefault(require("styled-components"));
function FilterOptions(props) {
    return react_1.default.createElement(FilterOptionsComponent, Object.assign({}, props, { "data-component-name": "Filter/FilterOptions" }));
}
const FilterOptionsComponent = styled_components_1.default.div `
  padding: var(--filter-options-padding-vertical) var(--filter-options-padding-horizontal);
  display: flex;
  flex-direction: column;
  gap: var(--filter-options-gap);
  max-height: var(--filter-options-max-height);
  overflow-y: scroll;
`;
//# sourceMappingURL=FilterOptions.js.map