--- a/Documentation/source/index.html	Thu Dec 30 11:19:56 2021 +0100
+++ b/Documentation/source/index.html	Thu Dec 30 14:11:28 2021 +0100
@@ -2,21 +2,7 @@
 <html><head>
 <title>Table of contents</title>
 <meta charset="UTF-8">
-<style>
-body {
-    background: #EDECE6;
-    margin: 0em 1em 10em 1em;
-    color: black;
-}
-
-h1 { color: white; background: #85774A; }
-h2 { color: white; background: #85774A; }
-h3 { color: white; background: #9D936E; }
-h4 { color: white; background: #9D936E; }
-    
-a { color: #BA6D36; }
-
-</style>
+<link rel="stylesheet" href="styles.css">
 </head>
 <body>
 <h1>Table of contents</h1>