From 4364603463479feff622fab372d3a902de37af9f Mon Sep 17 00:00:00 2001
From: David Rotermund <54365609+davrot@users.noreply.github.com>
Date: Tue, 5 Dec 2023 11:21:22 +0100
Subject: [PATCH] Update README.md

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

diff --git a/glob/README.md b/glob/README.md
index fe5f005..85d2e17 100644
--- a/glob/README.md
+++ b/glob/README.md
@@ -1,8 +1,10 @@
 # [glob](https://docs.python.org/3/library/glob.html) : Finding files in a directory
 {:.no_toc}
 
+<nav markdown="1" class="toc-class">
 * TOC
 {:toc}
+</nav>
 
 ## Goal
 We want to deal with many files in a directory. What is an easy way to get the filename in a directory?