File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ normal ;; visual
2323
2424/* unicode-range;; <urange>+;; U+0-7FFFFFFF ;; visual*/
2525/* units-per-em;; <number>;; undefined ;; visual*/
26- /* src;; [ <url > [format [,format]*]? | <font-face-name> ] [, <url >
26+ /* src;; [ <uri > [format [,format]*]? | <font-face-name> ] [, <uri >
2727[format [,format]*]?] | <font-face-name> ]*;;
2828undefined ;; visual
2929*/
@@ -37,7 +37,7 @@ undefined ;; visual
3737/* descent;; <number>;; undefined ;; visual*/
3838/* widths;; [<urange> ]? [<number> ]+ [,[<urange> ]? <number> ]+];; undefined
3939;; visual*/
40- /* definition-src;; <url >;; undefined ;; visual*/
40+ /* definition-src;; <uri >;; undefined ;; visual*/
4141/* baseline;; <number>;; 0 ;; visual*/
4242/* centerline;; <number>;; undefined ;; visual*/
4343/* mathline;; <number>;; undefined ;; visual*/
You can’t perform that action at this time.
0 commit comments