@@ -174,6 +174,9 @@ The following keys are available:
174 ``text-formatting``
174 ``text-formatting``
175 provides an attribute of formatted text. This is for use with natural-language text, not code, and is presently emitted only from inline documentation. The potential values are ``bold``, ``italic``, and ``underline``.
175 provides an attribute of formatted text. This is for use with natural-language text, not code, and is presently emitted only from inline documentation. The potential values are ``bold``, ``italic``, and ``underline``.
178+ provides a URL that the corresponding text is a link to.
177 ``tt-term``
180 ``tt-term``
178 A serialized representation of the Idris core term corresponding to the region of text.
181 A serialized representation of the Idris core term corresponding to the region of text.