From 07ad86698e13e23377023deb41effb1fa17d4111 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Fri, 3 May 2019 18:43:09 +0200 Subject: [PATCH] htmldoc: improve display --- src/generatedoc.c | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/src/generatedoc.c b/src/generatedoc.c index bf3939bf..a9e174ef 100644 --- a/src/generatedoc.c +++ b/src/generatedoc.c @@ -345,15 +345,17 @@ static int Export_help(const char * path) fprintf(findex, "\n"); fprintf(findex, "
\n"); - fprintf(findex, "
\n"); + fprintf(findex, "
\n"); fprintf(findex, "Choose your skin :\n"); for (i = 0; skins[i] != NULL; i++) { fprintf(findex, "%s\n", skins[i], skins[i]); } fprintf(findex, "
\n"); - fprintf(findex, "
"); + fprintf(findex, "
"); fprintf(findex, "
    \n"); for (i = 0; i < sizeof(Help_section)/sizeof(Help_section[0]); i++) { @@ -388,6 +390,16 @@ static int Export_help(const char * path) f = fopen(filename, "w"); if (f != NULL) { + fprintf(f, "body {\n"); + fprintf(f, "font-family: sans-serif;\n"); + fprintf(f, "color: #222;\n"); + fprintf(f, "max-width: 40rem;\n"); + fprintf(f, "margin: auto;\n"); + fprintf(f, "}\n"); + fprintf(f, ".center {\n"); + fprintf(f, "margin: auto;\n"); + fprintf(f, "text-align: center;\n"); + fprintf(f, "}\n"); fprintf(f, ".help {\n"); fprintf(f, "font-family: %s;\n", "monospace"); fprintf(f, "white-space: %s;\n", "pre");