gnuzilla

commit 6cffa300527774bfa00e61bcccf1f475fe4618ad
parent aac7789461d2f2106a3ea6c2fe0b068dd3d7fdfb
Author: Ruben Rodriguez <ruben@gnu.org>
Date:   Fri,  9 Nov 2018 15:42:40 -0500

Do not use Ubuntu font on about:home

Diffstat:
M
makeicecat
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/makeicecat b/makeicecat
@@ -646,6 +646,7 @@ find extensions/gnu/ | sed s=extensions/gnu=distribution/extensions= >> mobile/a
 
 # Onboarding
 
+sed 's/.Ubuntu., //' -i browser/extensions/activity-stream/css/activity-stream*.css
 cp $DATA/onboarding/bootstrap.js browser/extensions/onboarding
 cp $DATA/onboarding/onboarding.js browser/extensions/onboarding/content
 cp $DATA/onboarding/onboarding.properties browser/extensions/onboarding/locales/en-US