@@ -103,7 +103,7 @@ <h6 id="subparagraph"><a href="#subparagraph" class="anchor"></a>
103103 italics.
104104 </ i >
105105 < i > It also work the same in
106- < a href ="# "> links in italics with
106+ < a href ="# " class =" external-link " > links in italics with
107107 < em > emphasis < em class ="odd "> in</ em > emphasis</ em > .
108108 </ a >
109109 </ i >
@@ -126,16 +126,20 @@ <h6 id="subparagraph"><a href="#subparagraph" class="anchor"></a>
126126 < h2 id ="links-and-references ">
127127 < a href ="#links-and-references " class ="anchor "> </ a > Links and references
128128 </ h2 >
129- < p > This is a < a href ="# "> link</ a > . It sends you to the top of this
130- page. Links can have markup inside them: < a href ="# "> < b > bold</ b > </ a >
131- , < a href ="# "> < i > italics</ i > </ a > , < a href ="# "> < em > emphasis</ em > </ a >
132- , < a href ="# "> super< sup > script</ sup > </ a > ,
133- < a href ="# "> sub< sub > script</ sub > </ a > , and
134- < a href ="# "> < code > code</ code > </ a > . Links can also be nested
135- < em > < a href ="# "> inside</ a > </ em > markup. Links cannot be nested inside
136- each other. This link has no replacement text: < a href ="# "> #</ a >
137- . The text is filled in by odoc. This is a shorthand link:
138- < a href ="# "> #</ a > . The text is also filled in by odoc in this case.
129+ < p > This is a < a href ="# " class ="external-link "> link</ a > . It sends
130+ you to the top of this page. Links can have markup inside them:
131+ < a href ="# " class ="external-link "> < b > bold</ b > </ a > ,
132+ < a href ="# " class ="external-link "> < i > italics</ i > </ a > ,
133+ < a href ="# " class ="external-link "> < em > emphasis</ em > </ a > ,
134+ < a href ="# " class ="external-link "> super< sup > script</ sup > </ a > ,
135+ < a href ="# " class ="external-link "> sub< sub > script</ sub > </ a > , and
136+ < a href ="# " class ="external-link "> < code > code</ code > </ a > . Links can
137+ also be nested < em > < a href ="# " class ="external-link "> inside</ a > </ em >
138+ markup. Links cannot be nested inside each other. This link has
139+ no replacement text: < a href ="# " class ="external-link "> #</ a > . The
140+ text is filled in by odoc. This is a shorthand link:
141+ < a href ="# " class ="external-link "> #</ a > . The text is also filled
142+ in by odoc in this case.
139143 </ p >
140144 < p > This is a reference to < a href ="#val-foo "> < code > foo</ code > </ a > .
141145 References can have replacement text:
@@ -307,7 +311,7 @@ <h2 id="math"><a href="#math" class="anchor"></a>Math</h2>
307311 </ ul >
308312 < ul class ="at-tags ">
309313 < li class ="see "> < span class ="at-tag "> see</ span >
310- < a href ="# " class ="value "> #</ a > < p > this url</ p >
314+ < a href ="# " class ="external-link value "> #</ a > < p > this url</ p >
311315 </ li >
312316 </ ul >
313317 < ul class ="at-tags ">
0 commit comments