| <!-- | |
| Include here all the additional JavaScript you may want to use | |
| for giving a more dynamic UX for the GitHub plugin. | |
| --> | |
| <script type='text/javascript' src='js/jquery/jquery.js?ver=1.4.2'></script> | |
| <script type='text/javascript' src='js/jquery.cookie.min.js?ver=3.0'></script> |