Fix margins in team pages, move core-team to a single toplevel core team

Author: mattam82

data/governance.yml

@@ -1,24 +1,21 @@
 teams:
-- id: core-team
+- id: core
   name: Core Team
   description: The Core team and its Project Leader govern the project.
-  subteams:
-  - id: core
-    name: Core
-    description: The Core team is composed of co-opted, long-term and significant 
-      contributors to the Rocq project and its scientific underpinnings.
-      It is responsible for the Rocq Prover and all official Rocq Projects.
-    default_role: Core developer
-    dev_meeting:
-      date: Every Tuesday
-      time: 4:00 PM CET (see wiki) Open to all
-      calendar: https://github.com/coq/coq/wiki/Coq-Calls
-      link: https://rendez-vous.renater.fr/coq-call
-      notes: https://github.com/coq/coq/wiki/Coq-Calls
-    members:
-    - name: Matthieu Sozeau
-      github: mattam82
-      role: Project Leader
+    The Core team is composed of co-opted, long-term and significant 
+    contributors to the Rocq project and its scientific underpinnings.
+    It is responsible for the Rocq Prover and all official Rocq Projects.
+  default_role: Core developer
+  dev_meeting:
+    date: Every Tuesday
+    time: 4:00 PM CET (see wiki) Open to all
+    calendar: https://github.com/coq/coq/wiki/Coq-Calls
+    link: https://rendez-vous.renater.fr/coq-call
+    notes: https://github.com/coq/coq/wiki/Coq-Calls
+  members:
+  - name: Matthieu Sozeau
+    github: mattam82
+    role: Project Leader
 - id: community
   name: Community
   description: The Community team is responsible for managing forums, social media, and community events.

src/rocqproverorg_frontend/pages/governance_team.eml

@@ -134,24 +134,24 @@ Layout.render
   </div>
 </div>
 <div class="bg-background dark:bg-dark-background">
-  <div class="py-8">
+  <div class="py-2">
     <div class="container-fluid">
       <% (match t.dev_meeting with | None -> () | Some dev_meeting -> %>
-      <h2 class="font-bold gradient mb-6 mt-12 md:mt-16 text-4xl text-title dark:text-dark-title">Dev Meeting</h2>
+      <h2 class="font-bold gradient mb-6 mt-6 md:mt-8 text-4xl text-title dark:text-dark-title">Dev Meeting</h2>
       <%s! render_dev_meeting dev_meeting "text-white mb-6" %>
       <% ); %>
 
       <% (match List.length t.members with | 0 -> () | _ -> %>
      <div class="">
-      <h2 class="font-bold gradient mb-6 mt-12 md:mt-16 text-4xl text-title dark:text-dark-title">People</h2>
+      <h2 class="font-bold gradient mb-6 mt-6 md:mt-8 text-4xl text-title dark:text-dark-title">People</h2>
       <div class="grid grid-cols-1 md:grid-cols-2 lg:grid-cols-3 gap-12 mb-4">
         <%s! t.members |> List.map (fun (member : Data.Governance.Member.t) -> render_team_member ~default_role:t.default_role member ) |> String.concat "\n" %>
       </div>
      </div>
       <% ); %>
 
       <% (match List.length t.subteams with | 0 -> () | _ -> %>
-      <h2 class="font-bold gradient mb-6 mt-12 md:mt-16 text-4xl text-title dark:text-dark-title">Teams</h2>
+      <h2 class="font-bold gradient mb-6 mt-6 md:mt-8 text-4xl text-title dark:text-dark-title">Teams</h2>
       <div class="flex flex-col gap-12">
         <% t.subteams |> List.iter (fun (team : Data.Governance.team) -> %>
         <%s! render_subteam team %>