webui: spinner fix

diff --git a/support/css.py b/support/css.py
index a7f5b1b86c45354b162697812585fb77d9178ecf..e0cbf4ffad85ca7af4da7d29caa67ec5b755269d 100755 (executable)
--- a/support/css.py
+++ b/support/css.py
@@ -53,6 +53,8 @@ def url(fn):
       e += p
       p += 4
       url = l[p:e].strip().lstrip()
+      if url and url[0] == "'" and url[-1] == "'":
+        url = url[1:-1]
       if url.startswith('../docresources'):
         url = umangle(url, '../docresources', TVHDIR + '/docs/docresources')
       elif url.startswith('../../docresources'):