John MacFarlane
|
49007ded7b
|
RST reader: better handling for headers with an anchor.
Instead of creating a div containing the header, we put
the id directly on the header. This way header promotion
will work properly. Closes #4240.
|
2018-01-10 12:07:33 -08:00 |
|