Since this is a documentation site, wouldn't make sense to have a 'definition' button in the editor toolbar?
I know we have the definition list tags (<dl>,<dt>,<dd>) but I think their use should be encouraged here. Having a button like the ones for code and lists would make it a lot easier.
- Definition tags
- <dl>,<dt>,<dd>
- Underused tags with (apparently) no particular styling on Stack Overflow.