From be06edbcfd1213ea1658d36f8934493a92205aac Mon Sep 17 00:00:00 2001
From: pommicket <leonardomtenenbaum@gmail.com>
Date: Fri, 1 Jul 2016 17:43:58 -0400
Subject: Created pommicket.github.io

---
 js/header_links.js | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 js/header_links.js

(limited to 'js/header_links.js')

diff --git a/js/header_links.js b/js/header_links.js
new file mode 100644
index 0000000..3b5b3dd
--- /dev/null
+++ b/js/header_links.js
@@ -0,0 +1,5 @@
+document.getElementById("header_links_div").innerHTML = '<a class="header_link" href="index.html">Home</a> ' +
+'<a class="header_link" href="all.html">All</a> ' +
+'<a class="header_link" href="mathematical.html">Mathematical Demonstrations</a> ' +
+'<a class="header_link" href="games.html">Games</a> ' +
+'<a class="header_link" href="apps.html">Android Apps</a> ';
\ No newline at end of file
-- 
cgit v1.2.3