Update mini editor selector

Sorry, the proper selector for the mini editors is `atom-text-editor[mini]`. Ref: https://atom.io/docs/v0.152.0/upgrading/upgrading-your-ui-theme#custom-tags

It's not that urgent, but just in case the `.mini` class gets removed one day.