From 67fd10d7d6376d0033f3bee5b62b5ec2b80b5a9a Mon Sep 17 00:00:00 2001
From: Guy Brand <gb@unistra.fr>
Date: Sat, 5 Nov 2011 12:05:34 +0100
Subject: [PATCH] Remove font family declarations from css in the jquery update
script
---
lib/scripts/jquery/update.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/lib/scripts/jquery/update.sh b/lib/scripts/jquery/update.sh
index 38f38bece..fde46f4d7 100755
--- a/lib/scripts/jquery/update.sh
+++ b/lib/scripts/jquery/update.sh
@@ -23,3 +23,6 @@ for img in $images
do
wget -nv https://ajax.googleapis.com/ajax/libs/jqueryui/1/themes/smoothness/$img -O jquery-ui-theme/$img
done
+
+# remove font family declarations from smoothness CSS
+sed -i "s/font-family:[^;]*; \?//" jquery-ui-theme/smoothness.css
--
GitLab