SYMBOL INDEX (22 symbols across 5 files)

FILE: plugin/highlight/highlight.js
  function m (line 14) | function m(p){return p.replace(/</gm,"&lt;")}
  function c (line 14) | function c(r,q,p){return RegExp(q,"m"+(r.cI?"i":"")+(p?"g":""))}
  function j (line 14) | function j(r){for(var p=0;p<r.childNodes.length;p++){var q=r.childNodes[...
  function g (line 14) | function g(t,s){var r="";for(var q=0;q<t.childNodes.length;q++){if(t.chi...
  function a (line 14) | function a(s){var q=s.className.split(/\s+/);q=q.concat(s.parentNode.cla...
  function b (line 14) | function b(p){var q=[];(function(s,t){for(var r=0;r<s.childNodes.length;...
  function l (line 14) | function l(y,z,x){var r=0;var w="";var t=[];function u(){if(y.length&&z....
  function i (line 14) | function i(){function p(u,t,v){if(u.compiled){return}if(!v){u.bR=c(t,u.b...
  function e (line 14) | function e(J,D){if(!i.called){i();i.called=true}function z(r,M){for(var ...
  function f (line 14) | function f(t){var r={keyword_count:0,r:0,value:m(t)};var q=r;for(var p i...
  function h (line 14) | function h(r,q,p){if(q){r=r.replace(/^((<[^>]+>|\t)+)/gm,function(t,w,v,...
  function o (line 14) | function o(u,x,q){var y=g(u,q);var s=a(u);if(s=="no-highlight"){return}i...
  function k (line 14) | function k(){if(k.called){return}k.called=true;var r=document.getElement...
  function n (line 14) | function n(){if(window.addEventListener){window.addEventListener("DOMCon...

FILE: plugin/markdown/showdown.js
  function b (line 62) | function b(a){return a.replace(/[^\w]/g,"").toLowerCase()}
  function b (line 62) | function b(a){var b="0123456789ABCDEF",c=a.charCodeAt(0);return b.charAt...

FILE: plugin/notes/notes.js
  function openNotes (line 7) | function openNotes() {

FILE: plugin/zoom-js/zoom.js
  function magnify (line 74) | function magnify( pageOffsetX, pageOffsetY, elementOffsetX, elementOffse...
  function pan (line 127) | function pan() {
  function getScrollOffset (line 152) | function getScrollOffset() {

FILE: run.py
  function main (line 10) | def main():
  function static_url (line 15) | def static_url(filename):