# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1516607389 -3600
# Node ID ff7bd09911f77b72a7515c56c932db6856723405
# Parent  7108731be0b95cc8ec5b5de412486c26e94a941c
base: replaced background_image by a way to add dynamic style

diff -r 7108731be0b9 -r ff7bd09911f7 default/base/base.html
--- a/default/base/base.html	Mon Jan 22 08:46:07 2018 +0100
+++ b/default/base/base.html	Mon Jan 22 08:49:49 2018 +0100
@@ -23,14 +23,10 @@
         {% endfor %}
     {% endif %}
 
-    {% if background_image is defined %}
-        {# Q&D workaround to implement dynamic background-image
-           it should be replaced by a better mechanism in the future, avoid using it #}
+    {% if dynamic_style is defined %}
+    {# be extra careful about dynamic style, insure escaping if you use untrusted values ! #}
         <style type="text/css">
-            html {
-                background-image: url('{{background_image}}');
-                background-size: 15em;
-            }
+        {{dynamic_style}}
         </style>
     {% endif %}