Add a reminder when contributor is new to ping all contributor bot

.github/workflows/new-contributor.yml

@@ -0,0 +1,45 @@
+name: New Contributor Action
+on: 
+    pull_request_target:
+        types: [closed]
+
+concurrency:
+    group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+    cancel-in-progress: true
+
+jobs:
+  check-new-contributor:
+    if: ${{ github.event.pull_request.merged }}
+    runs-on: ubuntu-latest
+    permissions: 
+      pull-requests: write
+    steps:
+      - name: Check new contributor
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const prAuthor = context.payload.pull_request.user.login;
+            const repoOwner = context.repo.owner;
+            const repoName = context.repo.repo;
+            const currentPR = context.payload.pull_request.number;
+            const mergedPRs = await github.paginate(
+              github.rest.pulls.list,
+              {
+                owner: repoOwner,
+                repo: repoName,
+                state: 'closed',
+                per_page: 100
+              },
+              (response) => response.data.filter(pr => pr.merged_at != null && pr.user.login === prAuthor && pr.number !== currentPR)
+            );
+            if (mergedPRs.length == 0) {
+              github.rest.issues.createComment({
+                issue_number: context.payload.pull_request.number,
+                owner: repoOwner,
+                repo: repoName,
+                body: `**Welcome**, @${prAuthor}! 🎉 Thank you for your contribution to the MarkBind project!\n\nDo remember to request someone to add you as a official contributor to our repository, if you want to of course! See the full list of contributors [here](https://markbind.org/about.html). ✨`
+              });
+            }
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+

docs/css/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_convert/test_basic_convert/expected/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_convert/test_basic_convert/non_markbind_site/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_convert/test_navigation_convert/expected/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_convert/test_navigation_convert/non_markbind_site/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_templates/test_default/expected/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/cli/test/functional/test_site_templates/test_project/expected/stylesheets/main.css

@@ -80,7 +80,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/core/template/default/stylesheets/main.css

@@ -85,7 +85,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {

packages/core/template/project/stylesheets/main.css

@@ -80,7 +80,7 @@ mark {
 }
 
 .nav-component {
-    overflow-y: auto;
+    overflow-y: scroll;
 }
 
 #page-nav {