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

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