indentation and comment

diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html
index c6ad43cd534ebb466c2728eedba624e723314a64..c44cabec8667da32a5df47455ba326e65740ccf0 100644 (file)
--- a/docs/_includes/footer.html
+++ b/docs/_includes/footer.html
@@ -33,31 +33,38 @@
 ================================================== -->
 <!-- Placed at the end of the document so the pages load faster -->
 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
+
 {% if site.github %}
-<script src="../dist/js/bootstrap.min.js"></script>
+  <script src="../dist/js/bootstrap.min.js"></script>
 {% else %}
-<script src="../dist/js/bootstrap.js"></script>
+  <script src="../dist/js/bootstrap.js"></script>
 {% endif %}
+
 {% if site.github %}
-<script src="../assets/js/docs.min.js"></script>
+  <script src="../assets/js/docs.min.js"></script>
 {% else %}
-<script src="../assets/js/vendor/holder.js"></script>
-<script src="../assets/js/vendor/ZeroClipboard.min.js"></script>
-<script src="../assets/js/src/application.js"></script>
+  <script src="../assets/js/vendor/holder.js"></script>
+  <script src="../assets/js/vendor/ZeroClipboard.min.js"></script>
+  <script src="../assets/js/src/application.js"></script>
 {% endif %}
+
 {% if page.slug == "customize" %}
-{% if site.github %}
-<script src="../assets/js/customize.min.js"></script>
-{% else %}
-<script src="../assets/js/vendor/less.min.js"></script>
-<script src="../assets/js/vendor/jszip.min.js"></script>
-<script src="../assets/js/vendor/uglify.min.js"></script>
-<script src="../assets/js/vendor/Blob.js"></script>
-<script src="../assets/js/vendor/FileSaver.js"></script>
-<script src="../assets/js/raw-files.min.js"></script>
-<script src="../assets/js/src/customizer.js"></script>
-{% endif %}
+  {% if site.github %}
+    <script src="../assets/js/customize.min.js"></script>
+  {% else %}
+    {% comment %}
+      This list is repeated in our Gruntfile—update both when making changes.
+    {% endcomment %}
+    <script src="../assets/js/vendor/less.min.js"></script>
+    <script src="../assets/js/vendor/jszip.min.js"></script>
+    <script src="../assets/js/vendor/uglify.min.js"></script>
+    <script src="../assets/js/vendor/Blob.js"></script>
+    <script src="../assets/js/vendor/FileSaver.js"></script>
+    <script src="../assets/js/raw-files.min.js"></script>
+    <script src="../assets/js/src/customizer.js"></script>
+  {% endif %}
 {% endif %}
+
 <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
 <script src="../assets/js/ie10-viewport-bug-workaround.js"></script>