Merge pull request #218 from johannhof/master

Visually hide the format button (fix #217)

Author: alexcrichton

static/web.html

@@ -30,10 +30,10 @@
 
 Note that MIR is an unstable implementation detail that's subject to change">MIR</button
             ></div
-            ><!--<wbr><div
+            ><!--<wbr>--><div style="display:none;"
                 ><button type=button id=format title="Automatically visually reformat your code">Format</button
             ></div
-            >--><wbr><div
+            ><wbr><div
                 ><button type=button id=share title="Share a link to your code via is.gd">Shorten</button
                 ><button type=button id=gist title="Share a link to your code via Gist">Gist</button
             ></div