[Emacs] Update github pages index file

This commit is contained in:
2016-10-19 18:12:26 -07:00
parent 2a70325d06
commit 7c9951c48f

View File

@@ -130,6 +130,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