Display getting started as the index page

Signed-off-by: jffarge <jf@dagger.io>

docs/getting-started/1200-local-dev.md

@@ -1,5 +1,5 @@
 ---
-slug: /
+slug: /1200/local-dev
 displayed_sidebar: europa
 ---
 

docs/getting-started/index.md

@@ -0,0 +1,15 @@
+---
+slug: /
+displayed_sidebar: europa
+---
+
+# Getting Started
+
+```mdx-code-block
+import DocCardList from '@theme/DocCardList';
+import {useCurrentSidebarCategory} from '@docusaurus/theme-common';
+
+Run your CI/CD pipelines locally, then easily integrate them with any CI environment.
+
+<DocCardList items={useCurrentSidebarCategory().items}/>
+```

website/sidebars.js

@@ -79,12 +79,9 @@ module.exports = {
       type: "category",
       label: "Getting Started",
       collapsible: false,
-      collapsed: false,
       link: {
-        type: 'generated-index',
+        type: 'doc',
-        title: 'Getting Started',
+        id: 'getting-started/index'
-        description:
-          "Run your CI/CD pipelines locally, then easily integrate them with any CI environment.",
       },
       items: ["getting-started/local-dev", "getting-started/ci-environment"],
     },

website/src/css/custom.scss

@@ -124,7 +124,7 @@ code {
     --ifm-h3-vertical-rhythm-top: 2;
   }
 
-  a {
+  a:not(.card) {
     font-weight: bold;
     text-decoration: underline;
     color: var(--ifm-color-primary-dark);