first commit
emphasize each comments when mouseover them
add another paginator at the top; leave a Greasemonkey Firefox bug that flip_button do not disappear
fix paginator unexisting problem
separate css in two part
add README
finish css toggle
delete the incomplete @require in UserScript head definitions, to fix GM execute twice bug
add a TODO