-
Matthias Clasen authored
Use .popup, which is already in use elsewhere, fits better with the other button differentiating style classes, and does not interfere with menus.
aa6e0ad3
Use .popup, which is already in use elsewhere, fits better with the other button differentiating style classes, and does not interfere with menus.