Adding jekyl layouts

davidcok · Jul 1, 2020 · 28c1ed3 · 28c1ed3
1 parent 11ab580
commit 28c1ed3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/_layouts/page.html b/_layouts/page.html
@@ -26,4 +26,5 @@ <h1 class="post-title">{{ page.title }}</h1>
  },
  "HTML-CSS": { availableFonts: ["TeX"] }
  });
+ </script>
  <script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
diff --git a/index.html b/index.html
@@ -17,7 +17,7 @@ <h1>David R. Cok - Consulting and scientific activities</h1>
 
 Trial: $ a \ll b $ or \( a \ll b \) or $$ a \ll \pi $$
 
-Link: <a href="temp/DafnyRef.md">Ref</a>
+Link: <a href="temp/DafnyRef">Ref</a>
 
 <B>Software safety and security:</B> <BR>
 I improve software safety and security <BR>