From 5ffa56c7e52a88ec917a4c860346d00083091630 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 21 Jul 2017 13:06:28 +0200
Subject: [PATCH] Shortened javascript which loads MathJax so that it is easier
 to compare for removal (since we unfortunately cannot set its ID).

---
 dollar.rkt | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/dollar.rkt b/dollar.rkt
index 34c76a3dc..5c1836d03 100644
--- a/dollar.rkt
+++ b/dollar.rkt
@@ -100,26 +100,26 @@ EOJS
 (define (load-script-string src [async-defer #f])
   (string-append
    #<<EOJS
-(function() {
-  document.write('<scr' + 'ipt type="text/javascript" src="
+(function() {document.write('<scr' + 'ipt type="text/javascript" src="
 EOJS
    src
    "\""
    (if async-defer " async=\"async\" defer=\"defer\" " "")
    #<<EOJS
-></scr' + 'ipt>');
-})();
+></scr' + 'ipt>');})();
 EOJS
    ))
 
 (define (load-style-string src)
   (string-append
    #<<EOJS
-(function() {document.write('<link rel="stylesheet" href="
+(function() {
+  document.write('<link rel="stylesheet" href="
 EOJS
    src
    #<<EOJS
-" />');})();
+" />');
+})();
 EOJS
    ))