add a display buttons

coq · Jan 27, 2025 · 6c2455f · 6c2455f
1 parent c35d71d
commit 6c2455f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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>