[gnome-software/wip/ubuntu-3-20: 20/57] Fix a couple of CSS errors

[Robert Ancell <rancell src gnome org>]

commit 60a33e173047442e3d321d057a43fa9af7fbe118
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 |    2 +-
 src/gtk-style.css    |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/gtk-style-hc.css b/src/gtk-style-hc.css
index 1e0373b..9bd7e96 100644
--- a/src/gtk-style-hc.css
+++ b/src/gtk-style-hc.css
@@ -227,5 +227,5 @@ button.star, .button.star {
 .update-failed-details {
        font-family: Monospace;
        font-size: 90%;
-       padding: 16px
+       padding: 16px;
 }
diff --git a/src/gtk-style.css b/src/gtk-style.css
index 1b8c56a..41668d7 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -289,7 +289,7 @@ button.star, .button.star {
 .update-failed-details {
        font-family: Monospace;
        font-size: 90%;
-       padding: 16px
+       padding: 16px;
 }
 
 .upgrade-banner {