From dcf1848f228555a5f322981cc12d830c5a8ad713 Mon Sep 17 00:00:00 2001 From: Ivan Malison Date: Thu, 27 Oct 2016 16:08:00 -0700 Subject: [PATCH] [Emacs] Update github pages index file --- index.html | 5899 ++++++++++++++++++++++++++-------------------------- 1 file changed, 2951 insertions(+), 2948 deletions(-) diff --git a/index.html b/index.html index ca48557a..84567132 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> - + @@ -106,6 +106,8 @@ pre.src {background-color: #fdf6e3; color: #657b83;} +