Better javascript folding