Use the right CSS for the GnuTLS-Guile manual.