The CSS thing is a temporary thing for one version, so I don't think its anything that needs to be in the manual. Probably should be in the release notes for the next release, if we remember it.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.