make jump_menu visible
change default layout
whether work
try to change backgroundcolor of parallel
change back to original parallel
change of overflow-x
change of font color in jump menu
change of font-size of whole page
change of font color in jump menu
autocompletion realized
custom source callback to match only the beginning of terms
switch between checking all files and finding files
fix the bug of result list
embelish jump_menu and modify sections
delete autocompletion and decoration
make two lists obey same rule
modification of docco.js
Merge pull request #2 from dianadujing/jump_menu

Jump menu