"<link href=\"https://fonts.cdnfonts.com/css/dejavu-serif\" rel=\"stylesheet\">" +
                    "<link href=\"https://fonts.cdnfonts.com/css/dejavu-sans-mono\" rel=\"stylesheet\">"
            );

            // TODO: This would be better to model as separate options
            options.addStringOption("Xdoclint:syntax,html", "-quiet");

errors.crud_failed_to_update_crud_table=Échec de la mise à jour des données. ({0})
errors.crud_failed_to_delete_crud_table=Échec de la suppression des données. ({0})
errors.crud_could_not_find_crud_table = Les données {0} sont introuvables.
errors.could_not_find_backup_index=Impossible de trouver un index de sauvegarde.
errors.no_user_for_changing_password=Le mot de passe actuel n'est pas correct.

# errors.xxx = ...
# info.xxx = ...
# _/_/_/_/_/_/_/_/_/_/
# ========================================================================================
# Fess
# ======
errors.login_error = El nombre de usuario o la contraseña son incorrectos.
errors.sso_login_error=Error en el proceso de inicio de sesión SSO.
errors.could_not_find_log_file = No se pudo encontrar {0}.
errors.failed_to_start_crawl_process = No se pudo iniciar el proceso de rastreo.