diff options
Diffstat (limited to 'docs/lab')
| -rw-r--r-- | docs/lab/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index f989045c9..2ee565037 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -1543,6 +1543,7 @@ document.head.appendChild(fontCSS) <label title='Character Variant 7 "Alternate German double-s")'><input type="checkbox" class="featopt" name="feat:cv07"> cv07 (German double-s)</label> <label title='Character Variant 8 "Upper-case i with serif")'><input type="checkbox" class="featopt" name="feat:cv08"> cv08 (Upper-case i with serif)</label> <label title='Character Variant 9 "Flat top three")'><input type="checkbox" class="featopt" name="feat:cv09"> cv09 (Flat top three)</label> + <label title='Character Variant 10 "Capital G with spur")'><input type="checkbox" class="featopt" name="feat:cv10"> cv10 (Capital G with spur)</label> </div> <div class="checkbox-group"> |