Thread:Extension talk:WikiEditor/Button size