[gnome-software/wip/rancell/ubuntu-3-20-4: 17/50] Fix a couple of CSS errors
- From: Robert Ancell <rancell src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-software/wip/rancell/ubuntu-3-20-4: 17/50] Fix a couple of CSS errors
- Date: Sun, 18 Jun 2017 01:12:08 +0000 (UTC)
commit 66593ad0ba47fa44f21e310d0302f673fa40e16d
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 | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/gtk-style-hc.css b/src/gtk-style-hc.css
index 3f0400e..9bd7e96 100644
--- a/src/gtk-style-hc.css
+++ b/src/gtk-style-hc.css
@@ -225,7 +225,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 322a21e..41668d7 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -287,9 +287,9 @@ button.star, .button.star {
}
.update-failed-details {
- font: Monospace;
+ font-family: Monospace;
font-size: 90%;
- padding: 16px
+ padding: 16px;
}
.upgrade-banner {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]