Thanks for the answer. Which means it doesn't make mucxh sense to add button.tox-tbtn to my css.
Hmm, interesting. Maybe there's a way to tell this sidebar rendering optimization engine not to use random css names.
The problem with selectors is that they might not be unique and thus they would screw up the UI. See this comment.