archives

« Bugzilla Issues Index

#2693 — 10.1.1: header fonts


In the header "10.1.1 Static Semantics: UTF-16 Encoding":
"10.1.1" is serif, should be sans-serif.
"UTF-16 Encoding" is serif italic, should be sans-serif upright.


fixed in rev24 editor's draft


confirmed fixed


fixed in rev24