diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/lab/index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index 8088fe18a..042395081 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -1260,8 +1260,8 @@ document.head.appendChild(fontCSS) </select> <label style="display:inline-block; margin-left:4px"><input type="checkbox" name="italic"> <em>Italic</em></label> <label> - <input type="checkbox" class="featopt" name="varfont" - title="Enable variable font (experimental!)"> + <input type="checkbox" name="varfont" + title="Use variable font instead of constant font files"> <span>Variable</span> </label> </label> @@ -1418,6 +1418,8 @@ document.head.appendChild(fontCSS) <label title='Character Variant 4 "Open nine"'><input type="checkbox" class="featopt" name="feat:cv04"> cv04 (Open nine)</label> <label title='Character Variant 5 "Lower case L with tail")'><input type="checkbox" class="featopt" name="feat:cv05"> cv05 (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 (Straight lower case R)</label> + <label title='Character Variant 7 "Alternate German ")'><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> </div> <div class="checkbox-group"> |