@@ -103,7 +103,7 @@ <h6 id="subparagraph"><a href="#subparagraph" class="anchor"></a>
103
103
italics.
104
104
</ i >
105
105
< i > It also work the same in
106
- < a href ="# "> links in italics with
106
+ < a href ="# " class =" external-link " > links in italics with
107
107
< em > emphasis < em class ="odd "> in</ em > emphasis</ em > .
108
108
</ a >
109
109
</ i >
@@ -126,16 +126,20 @@ <h6 id="subparagraph"><a href="#subparagraph" class="anchor"></a>
126
126
< h2 id ="links-and-references ">
127
127
< a href ="#links-and-references " class ="anchor "> </ a > Links and references
128
128
</ 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.
139
143
</ p >
140
144
< p > This is a reference to < a href ="#val-foo "> < code > foo</ code > </ a > .
141
145
References can have replacement text:
@@ -307,7 +311,7 @@ <h2 id="math"><a href="#math" class="anchor"></a>Math</h2>
307
311
</ ul >
308
312
< ul class ="at-tags ">
309
313
< 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 >
311
315
</ li >
312
316
</ ul >
313
317
< ul class ="at-tags ">
0 commit comments