Oops.
Tweaking the docs stylesheet.