From 6c2455f64b361736671c64b12521dae53c2f1d65 Mon Sep 17 00:00:00 2001
From: Thomas Lamiaux <thomas.lamiaux@gmail.com>
Date: Mon, 27 Jan 2025 23:52:13 +0100
Subject: [PATCH] add a display buttons

---
 src/rocqproverorg_frontend/pages/papers.eml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/rocqproverorg_frontend/pages/papers.eml b/src/rocqproverorg_frontend/pages/papers.eml
index 882c1471..4138b51f 100644
--- a/src/rocqproverorg_frontend/pages/papers.eml
+++ b/src/rocqproverorg_frontend/pages/papers.eml
@@ -37,6 +37,11 @@ let display_papers ~(search : string) ~(recommended_papers : Data.Paper.t list)
             </div>
         </div>
     </div>
+    <details>
+    <summary style="font-size: 1.6em; font-weight: normal; float: left; margin-left: 5em; margin-bottom:1em">
+            More Papers
+    </summary>
+    <div style="clear: both;"></div>
     <div class="bg-background dark:bg-dark-background">
         <div class="py-10 lg:py-28">
             <div class="container-fluid">
@@ -122,6 +127,8 @@ let display_papers ~(search : string) ~(recommended_papers : Data.Paper.t list)
             </div>
         </div>
     </div>
+    </details>
+    <div style="clear: both;"></div>