From 3fb9a73c836660b341248e3f7fcb32fe529dfce4 Mon Sep 17 00:00:00 2001
From: Ben Kurtovic <ben.kurtovic@gmail.com>
Date: Sun, 16 Aug 2015 19:11:02 -0400
Subject: [PATCH] Tweak padding.

---
 tfdclerk.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/tfdclerk.js b/tfdclerk.js
index a436d06..be67605 100644
--- a/tfdclerk.js
+++ b/tfdclerk.js
@@ -73,6 +73,7 @@ mw.loader.using(["mediawiki.ui", "jquery.ui.core"], function() {
         box.append($("<button/>", {
                 text: verb.charAt(0).toUpperCase() + verb.slice(1),
                 addClass: "mw-ui-button mw-ui-progressive",
+                style: "margin-right: 0.5em;",
                 click: function() {
                     callback(head, box);
                 }
@@ -93,12 +94,17 @@ mw.loader.using(["mediawiki.ui", "jquery.ui.core"], function() {
             opt.attrs.id = box.prop("id") + "-" + opt.id;
             table.append(
                 $("<tr/>").append(
-                    $("<td/>").append(
+                    $("<td/>", {
+                        style: "padding: 0 0.5em 0.75em 0;"
+                    }).append(
                         $("<label/>", {
                             for: opt.attrs.id,
                             text: opt.label + ":"
                         })))
-                .append($("<td/>").append($(opt.tag, opt.attrs)))
+                .append(
+                    $("<td/>", {
+                        style: "padding-bottom: 0.75em;"
+                    }).append($(opt.tag, opt.attrs)))
             );
         });
         box.append(table);