Fix some css issues

Author: BastienSozeau

src/rocqproverorg_frontend/css/partials/buttons.css

@@ -1,10 +1,10 @@
 @layer components {
   .btn {
-    @apply rounded-full bg-primary border border-primary font-normal text-lg text-white whitespace-nowrap transition-colors inline-flex items-center justify-center space-x-3 dark:border-dark-primary dark:bg-dark-primary dark:text-dark-white;
+    @apply rounded-full bg-primary border border-primary font-normal text-lg py-3 md:py-3 text-white lg:whitespace-nowrap transition-colors inline-flex items-center justify-center space-x-3 dark:border-dark-primary dark:bg-dark-primary dark:text-dark-white;
   }
 
   .btn {
-    @apply px-7 h-11;
+    @apply px-7 lg:h-11 h-auto;
   }
 
   .btn-lg {

src/rocqproverorg_frontend/pages/install.eml

@@ -26,7 +26,7 @@ Layout.render
       <button x-on:click='operating_system = "<%s active_tab %>"' class="flex flex-auto justify-center py-4 text-sm border <%s class_ %>" :class='operating_system === "<%s active_tab %>" ? "bg-primary dark:bg-dark-primary text-white dark:text-dark-title border-primary dark:border-dark-primary" : "text-content dark:text-dark-separator_30 border-card_border dark:border-dark-separator_30"'><%s title %></button>
 % in
         <% render_multi_button ~title:"Linux" ~active_tab:"linux" ~class_:"rounded-l rounded-l-lg border-r-0"; %>
-        <% render_multi_button ~title:"macOS" ~active_tab:"mac" ~class_:"rounded-r rounded-r-lg"; %>
+        <% render_multi_button ~title:"macOS" ~active_tab:"mac" ~class_:"border-r-0"; %>
         <% render_multi_button ~title:"Windows" ~active_tab:"windows" ~class_:"rounded-r rounded-r-lg"; %>
       </div>
     </div>

src/rocqproverorg_frontend/pages/release.eml

@@ -21,7 +21,7 @@ Layout.render
                     <a href="<%s! Data.Release.github_release release %>">
                     <%s! Icons.github "h-5 w-5 inline-block" %>Github release</a>                        
                 </div>
-                <div class="flex flex-row gap-4 md:gap-6 md:w-80">
+            <div class="flex flex-col lg:flex-row gap-4 md:gap-6 md:w-80">
                     <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Reference Manual") ~href:(Url.manual_with_version release.version) "" %>
                     <%s! if release.kind = `Rocq then Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Corelib Theories") ~href:(Url.corelib_with_version release.version) "" else "" %>
                     <%s!  Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("OCaml API") ~href:(Url.api_with_version release.version) "" %>