mirror of
https://github.com/compiler-explorer/compiler-explorer.git
synced 2025-12-27 10:33:59 -05:00
Closes https://github.com/compiler-explorer/compiler-explorer/issues/7648 In Boostrap 5, `disabled` buttons now have `pointer-events: none` ([Changelog here](https://getbootstrap.com/docs/5.0/migration/#buttons)) which disables the `title` contents popping up. This PR fixes it by making it a default `badge`, which keeps the same layout as buttons, but is not clickable by default, much better than having a `disabled` button never meant to be clicked. It also slightly changes the padding of the buttons to give them some breathing space, and fixes a dark background on the pink theme (Found while testing that all themes worked properly with the `badge`) 