summaryrefslogtreecommitdiff
path: root/docs/lab/index.html
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2018-11-25 02:15:31 +0300
committerRasmus Andersson <rasmus@notion.se>2018-11-25 02:15:31 +0300
commitba2de744603400e74c0f041187e5aaddc51b4238 (patch)
tree7e58af0690bea77743ca8eadd1add5c9fa811ea1 /docs/lab/index.html
parente6cb70c3f53e5fe836f91b6e9d3d631fdc683924 (diff)
downloadinter-ba2de744603400e74c0f041187e5aaddc51b4238.tar.xz
v3.1v3.1
Diffstat (limited to 'docs/lab/index.html')
-rw-r--r--docs/lab/index.html5
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html
index 9731904d3..8fd1b9339 100644
--- a/docs/lab/index.html
+++ b/docs/lab/index.html
@@ -1422,8 +1422,9 @@ document.head.appendChild(fontCSS)
<label title='Character Variant 4 "Open nine"'><input type="checkbox" class="featopt" name="feat:cv04"> cv04 &nbsp;(Open nine)</label>
<label title='Character Variant 5 "Lower case L with tail")'><input type="checkbox" class="featopt" name="feat:cv05"> cv05 &nbsp;(Lower case L with tail)</label>
<label title='Character Variant 6 "Lower case R with straight tail")'><input type="checkbox" class="featopt" name="feat:cv06"> cv06 &nbsp;(Straight lower case R)</label>
- <label title='Character Variant 7 "Alternate German ")'><input type="checkbox" class="featopt" name="feat:cv07"> cv07 &nbsp;(German double s)</label>
- <label title='Character Variant 8 "Upper case i with serif")'><input type="checkbox" class="featopt" name="feat:cv08"> cv08 &nbsp;(Upper case i with serif)</label>
+ <label title='Character Variant 7 "Alternate German double-s")'><input type="checkbox" class="featopt" name="feat:cv07"> cv07 &nbsp;(German double-s)</label>
+ <label title='Character Variant 8 "Upper-case i with serif")'><input type="checkbox" class="featopt" name="feat:cv08"> cv08 &nbsp;(Upper-case i with serif)</label>
+ <label title='Character Variant 9 "Flat top three")'><input type="checkbox" class="featopt" name="feat:cv09"> cv09 &nbsp;(Flat top three)</label>
</div>
<div class="checkbox-group">