Skip to content

Improve typography, using true small capitals and microtypography#1048

Closed
dbenjaminmiller wants to merge 1 commit into
HoTT:masterfrom
dbenjaminmiller:master
Closed

Improve typography, using true small capitals and microtypography#1048
dbenjaminmiller wants to merge 1 commit into
HoTT:masterfrom
dbenjaminmiller:master

Commits