From f2c3a3e3a01ba538c383de61abcb508ffd2264dc Mon Sep 17 00:00:00 2001
From: David Rotermund <54365609+davrot@users.noreply.github.com>
Date: Wed, 13 Dec 2023 11:55:16 +0100
Subject: [PATCH] Update README.md

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
---
 python_basics/python_typing/README.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/python_basics/python_typing/README.md b/python_basics/python_typing/README.md
index 889fbe3..3c39643 100644
--- a/python_basics/python_typing/README.md
+++ b/python_basics/python_typing/README.md
@@ -1,4 +1,11 @@
-# Python -- Type annotations and static type checking for Python
+# Type annotations and static type checking for Python
+{:.no_toc}
+
+<nav markdown="1" class="toc-class">
+* TOC
+{:toc}
+</nav>
+
 ## Goal
 We want to use static type checking and type annotations in our Python code for detecting errors we made. We will use the mypy extension in VS code for that.