diff --git a/edit/edit.css b/edit/edit.css
index 208ec0c8..e6da6d60 100644
--- a/edit/edit.css
+++ b/edit/edit.css
@@ -173,6 +173,9 @@ input:invalid {
   margin-top: 1em;
   margin-bottom: .5em;
 }
+#lint:not([open]) + #footer {
+  margin-top: 4em;
+}
 /************ content ***********/
 #sections > div {
   margin: 0.7rem;