diff --git a/public_html/deployment/main.css b/public_html/deployment/main.css
index 28cde66664376c4fa8a361b817ceff2722e54b79..a96b7f5ebd0325f71efe928c6c5652969557fc66 100644
--- a/public_html/deployment/main.css
+++ b/public_html/deployment/main.css
@@ -485,13 +485,6 @@ span.highlight {
     font-style: italic;
 }
 
-.versioninfo {
-    border: 0px solid #ccc;
-    padding: 0px;
-    border-radius: 0px;
-    margin-bottom: 0px;
-}
-
 ul.nav li.dropdown:hover ul.dropdown-menu {
     display: block;
     margin-top: 0px
@@ -529,7 +522,11 @@ input[type="checkbox"]:checked+label {
     margin: 1em 10px;
 }
 
-.rolloutconfigdiv{margin: 0 0 2em 4em; padding: 1em; background:rgba(255, 255, 255, 0.4);}
+.rolloutconfigdiv {
+    margin: 0 0 2em 4em;
+    padding: 1em;
+    background: rgba(255, 255, 255, 0.4);
+}
 
 /* ----- shell plugins ----- */