datatracker/ietf/static/css/jquery-ui.scss

@import "~node_modules/jquery-ui-dist/jquery-ui.css";
@import "~node_modules/jquery-ui-dist/jquery-ui.structure.css";
@import "~node_modules/jquery-ui-dist/jquery-ui.theme.min.css";