doc: Use --css-ref option to makeinfo, instead of postprocessing with sed.