Closed ndw closed 2 months ago
More, hopefully uncontroversial, tweaks. I bumped the font size by 10% and added a little syntax highlighting to the declaration summaries.
More, hopefully uncontroversial, tweaks. I bumped the font size by 10% and added a little syntax highlighting to the declaration summaries.