am 6084cc94: (-s ours) am 9d32bd5b: docs: css tweak to Ps in sidebox. DO NOT MERGE.

Merge commit '6084cc948c58032f509adfdcdcd367ae6a67e5ac'

* commit '6084cc948c58032f509adfdcdcd367ae6a67e5ac':
  docs: css tweak to Ps in sidebox. DO NOT MERGE.