[docs] Use html syntax highlighting.