[svgwg] Merged 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 06:14:56 +0000
To: public-svg-issues@w3.org
Message-ID: <pull_request.closed-320126781-1569219294-sysbot+gh@w3.org>

heycam has just merged heycam's pull request 742 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 06:14:57 UTC