[Emacs] Update github pages index file

This commit is contained in:
Ivan Malison 2016-10-28 14:28:45 -07:00
parent 776671aae7
commit 0f5a53ffd4
No known key found for this signature in database
GPG Key ID: 62530EFBE99DC2F8

View File

@ -100,6 +100,8 @@
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/js/bootstrap.min.js"></script>
<script type="text/javascript" src="http://www.pirilampo.org/styles/lib/js/jquery.stickytableheaders.js"></script>
<script type="text/javascript" src="http://www.pirilampo.org/styles/readtheorg/js/readtheorg.js"></script>
<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">