webapps.mason: add some padding

diff --git a/extra/webapps/mason/dashboard.xml b/extra/webapps/mason/dashboard.xml
index ed85e077f8c8506525710d7d42cf0b6afad3cd64..72a686605d4dac2a43c0754cfced5c0d777eac78 100644 (file)
--- a/extra/webapps/mason/dashboard.xml
+++ b/extra/webapps/mason/dashboard.xml
@@ -3,7 +3,7 @@
 <t:chloe xmlns:t="http://factorcode.org/chloe/1.0">
        <t:title>Mason dashboard</t:title>
     <t:style t:include="resource:extra/webapps/mason/mason.css" />
-
+    <div style="padding: 10px;">
        <h1>Build machines</h1>
        <t:xml t:name="builders" />
 
@@ -25,4 +25,5 @@
 
                <p><button type="submit">Go</button></p>
        </t:form>
+       </div>
 </t:chloe>