[gnome-software] Fix a couple of CSS errors

[Florian Müllner <fmuellner src gnome org>]

commit 83b46a2a063ee1d4991779364f57bac07413f9ad
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Apr 27 19:03:02 2016 +0200

    Fix a couple of CSS errors
    
    The 'font' shorthand requires at least 'font-family' and 'font-size'
    according to the spec, and recent GTK+ versions no longer accept it
    without a family/size.
    While at it, also add some missing semicolons and units.

 src/gtk-style-hc.css |    4 ++--
 src/gtk-style.css    |    6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/src/gtk-style-hc.css b/src/gtk-style-hc.css
index a5fe5f2..dfc0b87 100644
--- a/src/gtk-style-hc.css
+++ b/src/gtk-style-hc.css
@@ -219,7 +219,7 @@ button.star, .button.star {
 }
 
 .update-failed-details {
-       font: Monospace;
+       font-family: Monospace;
        font-size: 90%;
-       padding: 16px
+       padding: 16px;
 }
diff --git a/src/gtk-style.css b/src/gtk-style.css
index 096b0aa..42c3d1b 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -119,7 +119,7 @@
        border-color: darker(#d3d7cf);
        border-style: solid;
        border-width: 1px;
-       padding: 12;
+       padding: 12px;
        text-shadow: none;
 }
 
@@ -271,9 +271,9 @@ button.star, .button.star {
 }
 
 .update-failed-details {
-       font: Monospace;
+       font-family: Monospace;
        font-size: 90%;
-       padding: 16px
+       padding: 16px;
 }
 
 .upgrade-banner {