W3C home > Mailing lists > Public > public-secondscreen@w3.org > May 2016

[remote-playback] Pull Request: Adjust styles for official 2016 stylesheet

From: François Daoust via GitHub <sysbot+gh@w3.org>
Date: Fri, 13 May 2016 08:18:18 +0000
To: public-secondscreen@w3.org
Message-ID: <pull_request.opened-69958643-1463127496-sysbot+gh@w3.org>
tidoust has just submitted a new pull request for 
https://github.com/w3c/remote-playback:

== Adjust styles for official 2016 stylesheet ==
The custom styles that we had for IDL declarations caused the "WebIDL"
 banner to appear truncated.

Same changes as those made to the Presentation API some time ago:
https://github.com/w3c/presentation-api/pull/270

See https://github.com/w3c/remote-playback/pull/27
Received on Friday, 13 May 2016 08:18:21 UTC

This archive was generated by hypermail 2.3.1 : Friday, 13 May 2016 08:18:22 UTC