A bookmarklet for beautifying Wordpress Codex