Bug 1534943 - also update android CSS for font-size changes, r=JanH
authorGijs Kruitbosch <gijskruitbosch@gmail.com>
Wed, 13 Mar 2019 19:40:26 +0000
changeset 521773 8541dfa55436ca1ad01d3fe056832b41438ef33e
parent 521772 685feec7f812c0d56b6e3ac49c5a8517ba90f46f
child 521774 2d47c27e5526e407d5360c4e6bc612febe90494f
push id10867
push userdvarga@mozilla.com
push dateThu, 14 Mar 2019 15:20:45 +0000
treeherdermozilla-beta@abad13547875 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersJanH
bugs1534943
milestone67.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 1534943 - also update android CSS for font-size changes, r=JanH Differential Revision: https://phabricator.services.mozilla.com/D23325
mobile/android/themes/core/aboutReader.css
--- a/mobile/android/themes/core/aboutReader.css
+++ b/mobile/android/themes/core/aboutReader.css
@@ -31,50 +31,19 @@ body.dark {
 body.sans-serif {
   font-family: sans-serif;
 }
 
 body.serif {
   font-family: serif;
 }
 
-.container.font-size1 {
-  font-size: 10px;
-}
-
-.container.font-size2 {
-  font-size: 12px;
-}
-
-.container.font-size3 {
-  font-size: 14px;
-}
-
-.container.font-size4  {
-  font-size: 16px;
-}
-
-.container.font-size5 {
-  font-size: 18px;
-}
-
-.container.font-size6 {
-  font-size: 20px;
-}
-
-.container.font-size7 {
-  font-size: 22px;
-}
-
-.container.font-size8 {
-  font-size: 24px;
-}
-
-.container.font-size9 {
-  font-size: 26px;
+.container {
+  --font-size: 12;
+  font-size: var(--font-size);
 }
 
 /* Override some controls and content styles based on color scheme */
 
 body.light > .container > .header > .domain {
   color: #ee7600;
   border-bottom-color: #d0d0d0; 
 }