[css-text] Various editorial trivialities.