[svgwg] Pull Request: tweak styling of the header links from Cameron McCormack via GitHub on 2019-09-23 (public-svg-issues@w3.org from September 2019)

From: Cameron McCormack via GitHub <sysbot+gh@w3.org>
Date: Mon, 23 Sep 2019 04:41:13 +0000
To: public-svg-issues@w3.org
Message-ID: <pull_request.opened-320126781-1569213672-sysbot+gh@w3.org>

heycam has just submitted a new pull request for https://github.com/w3c/svgwg:

== tweak styling of the header links ==
The middle dot characters got turned into periods at one point.
    
Also make the text a bit smaller so that it fits on one line.

See https://github.com/w3c/svgwg/pull/742

Received on Monday, 23 September 2019 04:41:14 UTC