ietf-tools / iddiff

Internet-Draft (ID) diff tool.
Other
7 stars 10 forks source link

Tool should use our standards fonts #52

Open larseggert opened 10 months ago

larseggert commented 10 months ago

Currently uses Menlo for monotype.

kesara commented 10 months ago

Currently, there's no specific font defined. Only a generic font-family: monospace.

larseggert commented 10 months ago

Yes, I'm saying we should specify one; the same one we use for DT