Pushed to main, along with a follow-up that adds some release notes, including a bit of a developer's guide to the new button styles. Thanks, Stephanie and Bill!
Noting, in case it is helpful to anybody else, that I used the following command after cherry-picking the patches to quickly verify that the series had _only_ changes to the button styles:
Pushed to main, along with a follow-up that adds some release notes, including a bit of a developer's guide to the new button styles. Thanks, Stephanie and Bill!
Noting, in case it is helpful to anybody else, that I used the following command after cherry-picking the patches to quickly verify that the series had _only_ changes to the button styles:
git diff --color-words=. origin/main..HEAD -U0 |grep -v 'diff --git'|grep -v 'index '|grep -v Open-ILS/src|grep -v '@@'|less -r