HTML Tags Style Customization
The HTML tab of the Edit preferences panel provides you with some options to change the style of the html tags:
The HTML tab of the Edit preferences panel provides you with some options to change the style of the html tags: