[gnome-software/wip/rancell/ubuntu-3-20-3: 17/55] 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-3: 17/55] Fix a couple of CSS errors
- Date: Sun, 18 Jun 2017 01:10:29 +0000 (UTC)
commit 03b6f670431c1ea1e555f0732943e37fb0813589
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 ea24de7..a381587 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -267,9 +267,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]