dantman/monaco-port — pull request #7 by Arcane21 (2013-09-14 21:32:53+00:00)
Title: Update buttons.css

fixes button and text alignment errors when using search/replace feature of the WikiEditor extension on the Monaco skin