Update: Plugin Updating

Updating plugins from the plugin catalogue, and automatic updating of
plugins after a newer version of Disco is installed.

Disco.Web/ClientSource/Style/Site.css

@@ -339,6 +339,7 @@ a:active {
   color: #335a87;
 }
 a.button {
+  display: inline-block;
   padding: 4px 10px;
   margin: 2px;
   border: 1px solid #875a33;
@@ -347,11 +348,11 @@ a.button {
   font-weight: bold;
   text-transform: uppercase;
   cursor: pointer;
-  line-height: 2.2em;
   white-space: nowrap;
   text-decoration: none;
 }
-a.button[disabled] {
+a.button[disabled],
+a.button.disabled {
   background: #9e9e9e;
   border: 1px solid #696969;
   cursor: default;
@@ -790,7 +791,8 @@ input[type="submit"] {
   padding: 5px;
 }
 input[type="submit"].button {
-  padding: 4px 10px;
+  font-size: 12px;
+  padding: 6px 10px 4px 10px;
   margin: 2px;
   border: 1px solid #875a33;
   background: #db761d;
@@ -798,7 +800,6 @@ input[type="submit"].button {
   font-weight: bold;
   text-transform: uppercase;
   cursor: pointer;
-  line-height: 1.2em;
 }
 input[type="submit"].button:hover {
   border: 1px solid #696969;