From 63ec08150abf79bc1d6c00965f1f3709aa481923 Mon Sep 17 00:00:00 2001 From: Ryan Fleury Date: Wed, 18 Dec 2019 08:40:02 -0700 Subject: [PATCH] Index page bug fixes and improvements --- site/4ed_site_render_main.cpp | 4 +- site/static/docs/search.js | 74 ++++++++++++++++++++++------------- site/static/docs/styles.css | 16 +++++++- 3 files changed, 62 insertions(+), 32 deletions(-) diff --git a/site/4ed_site_render_main.cpp b/site/4ed_site_render_main.cpp index a9eade7b..532f5f3f 100644 --- a/site/4ed_site_render_main.cpp +++ b/site/4ed_site_render_main.cpp @@ -339,7 +339,7 @@ render_doc_cluster_to_html(Arena *scratch, Doc_Cluster *cluster, fprintf(file_index, "

%.*s Index

\n", string_expand(cluster->title)); fprintf(file_index, "
\n"); - fprintf(file_index, ""); fprintf(file_index, "
\n"); @@ -348,7 +348,7 @@ render_doc_cluster_to_html(Arena *scratch, Doc_Cluster *cluster, fprintf(file_index, "