Docs styling adjusted (#16)

.github/workflows/docs.yml

@@ -45,7 +45,6 @@ jobs:
           scope: ${{ secrets.ORG_ID}} # Required
           vercel-args: ${{ github.ref_name == 'main' && '--prod' || '' }}
           vercel-project-id: ${{ secrets.PROJECT_ID}} # Required
-          working-directory: ./docs/build
 
       - name: Comment PR
         if: github.event_name == 'pull_request'

docs/src/css/custom.css

@@ -185,3 +185,25 @@ code:not([class^="language-"]) {
 .markdown code {
   font-size: 1.16rem; /* 18px for code */
 }
+
+
+.navbar__title {
+  font-size: 1.5rem;
+}
+
+.table-of-contents__link {
+  font-size: 1.2rem;
+}
+
+.toc-highlight {
+    font-size: 1.2rem;
+}
+
+.navbar__item {
+    font-size: 1.2rem;
+    line-height: 1rem;
+}
+
+.footer {
+  background: #1a1a1a;
+}