[gnome-software/wip/ubuntu-xenial] Fix a couple of CSS errors
- From: William Hua <williamhua src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-software/wip/ubuntu-xenial] Fix a couple of CSS errors
- Date: Wed, 8 Jun 2016 12:22:01 +0000 (UTC)
commit 773d4354735920e9de0db7d8e710f235040e3c11
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 dc8e921..3049294 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -269,9 +269,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]