Update GitHub Actions workflow to add permissions and improve formatting

Author: MariusStorhaug

.github/workflows/Docs.yml

@@ -10,6 +10,8 @@ on:
       - mkdocs.yml
       - .github/workflows/Docs.yml
 
+permissions: {}
+
 env:
   GH_TOKEN: ${{ github.token }}
 
@@ -20,7 +22,6 @@ defaults:
 jobs:
   build:
     runs-on: ubuntu-latest
-
     permissions:
       contents: read # to checkout the repo
     steps: