init

2019-07-21 22:16:23 -04:00
commit 8853b7c668
48 changed files with 1682 additions and 0 deletions
--- a/_layouts/base.html
+++ b/_layouts/base.html
@ -0,0 +1,15 @@
+<!DOCTYPE html>
+<html lang="{{page.lang | default:"en"}}">
+	{% include head.html %}
+	<body>
+		{% include header.html %}
+		{{ content 
+			| replace: '<!--qed-->', ' <span class=qed>&#8718;</span>'
+			| replace: '\=\>', '&#8658;'
+		}}
+		{% include footer.html %}
+		{% include google_analytics.html %}
+		<!-- Page generated {{ site.time }} -->
+		<!-- Page ID {{ page.id }} -->
+	</body>
+</html>