diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2018-11-24 01:55:33 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2018-11-24 01:55:33 +0300 |
| commit | 90dfae16d93bf2164fa1d016068cde6e837d0db7 (patch) | |
| tree | 97987b875341d8a696335c6dc9ab4e641e1f96ff /docs/lab | |
| parent | a113ad581510a575ac150eb3678d5f2e9f266e25 (diff) | |
| download | inter-90dfae16d93bf2164fa1d016068cde6e837d0db7.tar.xz | |
web: lab: update cv
Diffstat (limited to 'docs/lab')
| -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"> |