add navigation to side bar
fix line number
apply ICU to solve garbled text (esp. Asian languages)