More flattening of jQuery UI styles
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Apr 22 2017, 12:11 PM mollekopf Pushed on Sep 6 2023, 2:57 PM - Parents
- R113:d774c00b7268: Improve pagenav buttons
- Branches
- Unknown
- Tags