search

kynikos / wiki-monkey

MediaWiki-compatible bot and editor assistant running directly in the browser and expandable with plugins.
https://github.com/kynikos/wiki-monkey/wiki
GNU General Public License v3.0
15 stars 5 forks source link

Grid interface: add margin-bottom to buttons #130

Closed kynikos closed 10 years ago

kynikos commented 11 years ago

Add some margin-bottom to each button in grid interfaces so that they look neatly spaced even when the window is too narrow and wraps a line.