How to get here: In Settings on the General Settings tab, select [General Settings] > General > File Types > HTML Files.

h1-h6 tags The code that identifies headings in HTML. For example, <h1>This is a heading on the first level</h1>. 

<pre> The code that identifies preformatted text in HTML. Text enclosed in <pre> tags is usually rendered without removing white spaces, with a fixed-pitch font, without automatic word wrap. 

topic identifier A character used in Doc-O-Matic to identify a topic and to assign a topic to a specific symbol. 

topic ID A unique string of characters that identifies a topic in Doc-O-Matic. For symbol topics the fully qualified symbol name is used as topic ID.