minor style tweak for /web-site

for #276

static/style.css

@@ -295,19 +295,22 @@ button[disabled]:hover {
   white-space: normal;
 }
 
-.btn-default {
+.btn-default, .btn-home {
   background-color: #CEF;
   border-color: #337AB7;
   color: #337AB7;
-  margin-bottom: 1em;
 }
 
-.btn-default:hover {
+.btn-default:hover, .btn-home:hover {
   background-color: #BDE;
   border-color: #337AB7;
   color: #337AB7;
 }
 
+.btn-home {
+  margin-bottom: 1em;
+}
+
 .btn-default pre {
   background-color: transparent;
   border: none;
@@ -390,6 +393,10 @@ input[type="text"], input[type="url"] {
   font-size: 1em;
 }
 
+input[type="submit"] {
+  font-size: .75em;
+}
+
 #sent pre {
   display: inline-block;
 }