doc: Improve usability of generated PDF. * doc/gnulib.texi: Use a brown colour for interactive links.