From c187f0b7d99eea1275cd6d322b37e6212447ace9 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 18 Mar 2013 15:37:04 +0100
Subject: [PATCH] nicer line breaks

---
 unfold/templates/header-prelude.html | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/unfold/templates/header-prelude.html b/unfold/templates/header-prelude.html
index e75c7c5a..37e0e597 100644
--- a/unfold/templates/header-prelude.html
+++ b/unfold/templates/header-prelude.html
@@ -1,12 +1,6 @@
-{% for js_file in js_files %}
-<script type='text/javascript' src='{{ STATIC_URL }}{{ js_file|safe }}'></script>
+{% for js_file in js_files %} <script type='text/javascript' src='{{ STATIC_URL }}{{ js_file|safe }}'></script> 
 {% endfor %}
-{% for css_file in css_files %}
-<link rel='stylesheet' type='text/css' href='{{ STATIC_URL }}{{ css_file|safe }}' />
+{% for css_file in css_files %} <link rel='stylesheet' type='text/css' href='{{ STATIC_URL }}{{ css_file|safe }}' /> 
 {% endfor %}
-<script type="text/javascript">
-{% for js_chunk in js_chunks %} {{ js_chunk|safe }} {% endfor %}
-</script>
-<style type="text/css">
-{% for css_chunk in css_chunks %} {{ css_chunk|safe }} {% endfor %}
-</style>
+<script type="text/javascript"> {% for js_chunk in js_chunks %} {{ js_chunk|safe }} {% endfor %} </script>
+<style type="text/css"> {% for css_chunk in css_chunks %} {{ css_chunk|safe }} {% endfor %} </style>
-- 
2.43.0