[Emacs] Update github pages index file

This commit is contained in:
2016-10-19 18:12:26 -07:00
parent 85a5bb039f
commit 38f11556cb

View File

@@ -140,6 +140,8 @@
pre.src {background-color: #263238; color: #ffffff;}</style>
<style type="text/css">
pre.src {background-color: #263238; color: #ffffff;}</style>
<style type="text/css">
pre.src {background-color: #263238; color: #ffffff;}</style>
<script type="text/javascript">
/*
@licstart The following is the entire license notice for the