Yeah I do mean for buttons. I strongly prefer having the equivalent of `cursor: pointer` for all buttons in the UI. This change is the primary reason that I didn't switch to the minimal theme before. Is there a way to bring back the pointer for buttons in the 1.0 default theme? Or will I need to create my own theme for this now?

Edit: Ah I see. You're suggesting installing the "Style Setting" plugin, installing and changing the theme to "Minimal" and then setting the "Cursor style" to "Pointer".