Why not put this into `docs.css`?