Add a new 10px font size and fix up fractional values.

Review Request #14176 — Created Sept. 23, 2024 and submitted

Information

Ink
master

Reviewers

This change adds a new 10px font size to our list of standard tokens.
While I was doing this, I noticed that the particular fractional values
set for the 11px and 13px variables was rounded, but this was causing
the computed value in the browser (at least on Firefox) to be
wrong--13.008px instead of 13px. Since it's just one additional
significant figure to get an exact computation, I've fixed these up.

  • Used the 10px font size.
  • Checked in the devtools and saw that things that used the 13px font
    were no longer showing the computed font size as 13.008px.
Summary ID
Add a new 10px font size and fix up fractional values.
This change adds a new 10px font size to our list of standard tokens. While I was doing this, I noticed that the particular fractional values set for the 11px and 13px variables was rounded, but this was causing the computed value in the browser (at least on Firefox) to be wrong--13.008px instead of 13px. Since it's just one additional significant figure to get an exact computation, I've fixed these up. Testing Done: - Used the 10px font size. - Checked in the devtools and saw that things that used the 13px font were no longer showing the computed font size as 13.008px.
81789132be484cd1a46df27ae45346d1c146a230
maubin
  1. Ship It!
  2. 
      
chipx86
  1. Ship It!
  2. 
      
david
Review request changed
Status:
Completed
Change Summary:
Pushed to master (9a0e3e4)