diff --git a/docs/css/style.css b/docs/css/style.css
index 19f4def2e..b796a54dc 100644
--- a/docs/css/style.css
+++ b/docs/css/style.css
@@ -40,11 +40,11 @@ h1 {
 }
 
 h2 {
-    font-size: 1.4em;
+    font-size: 1.2em;
 }
 
 h3 {
-    font-size: 1.2em;
+    font-size: 1.1em;
 }
 
 nav {
@@ -172,4 +172,4 @@ li {
 /* Make prism code boxes more compact */
 pre[class*="language-"] {
     padding: 0.5em !important;
-}
\ No newline at end of file
+}
diff --git a/docs/doc/contribute.html b/docs/devdoc/contribute.html
similarity index 100%
rename from docs/doc/contribute.html
rename to docs/devdoc/contribute.html
diff --git a/docs/doc/logical_operators.html b/docs/devdoc/logical_operators.html
similarity index 100%
rename from docs/doc/logical_operators.html
rename to docs/devdoc/logical_operators.html
diff --git a/docs/doc/logical_optimizer.html b/docs/devdoc/logical_optimizer.html
similarity index 100%
rename from docs/doc/logical_optimizer.html
rename to docs/devdoc/logical_optimizer.html
diff --git a/docs/doc/physical_operators.html b/docs/devdoc/physical_operators.html
similarity index 100%
rename from docs/doc/physical_operators.html
rename to docs/devdoc/physical_operators.html
diff --git a/docs/doc/physical_optimizers.html b/docs/devdoc/physical_optimizers.html
similarity index 100%
rename from docs/doc/physical_optimizers.html
rename to docs/devdoc/physical_optimizers.html
diff --git a/docs/doc/query_processing.html b/docs/devdoc/query_processing.html
similarity index 100%
rename from docs/doc/query_processing.html
rename to docs/devdoc/query_processing.html
diff --git a/docs/doc/index.html b/docs/doc/index.html
index 2521cad59..35ece71d2 100644
--- a/docs/doc/index.html
+++ b/docs/doc/index.html
@@ -5,7 +5,7 @@
     <meta charset="UTF-8">
     <meta http-equiv="X-UA-Compatible" content="IE=edge">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
-    <title>Docs</title>
+    <title>HeFQUIN - User Documentation</title>
 
     <script src="../js/mustache.min.js"></script>
     <script src="../js/script.js"></script>
@@ -22,24 +22,6 @@ <h1>Documentation</h1>
                 <li>
                     <a href="user_doc.html">User documentation</a>
                 </li>
-                <li>
-                    <a href="contribute.html">Getting started as a contributor</a>
-                </li>
-                <li>
-                    <a href="query_processing.html">Query Processing in HeFQUIN</a>
-                </li>
-                <li>
-                    <a href="physical_optimizers.html">Cost Based Physical Query Optimizers</a>
-                </li>
-                <li>
-                    <a href="logical_optimizer.html">Heuristics Based Logical Query Optimizer</a>
-                </li>
-                <li>
-                    <a href="logical_operators.html">Logical Operators</a>
-                </li>
-                <li>
-                    <a href="physical_operators.html">Physical Operators</a>
-                </li>
             </ul>
         </section>
     </main>
@@ -47,4 +29,4 @@ <h1>Documentation</h1>
     <div id="footer"></div>
 </body>
 
-</html>
\ No newline at end of file
+</html>
diff --git a/docs/templates/header.mustache b/docs/templates/header.mustache
index 9ab9b06c5..7526f5717 100644
--- a/docs/templates/header.mustache
+++ b/docs/templates/header.mustache
@@ -13,7 +13,8 @@
             <li><a href="{{ relPath }}research">Research</a></li>
             <li><a href="{{ relPath }}vocab">Vocabularies</a></li>
             <li><a href="{{ relPath }}javadoc/latest">Javadoc</a></li>
+            <li><a href="{{ relPath }}devdoc">Contribute</a></li>
             <li><a href="https://github.com/LiUSemWeb/HeFQUIN">GitHub</a></li>
         </ul>
     </nav>
-</header>
\ No newline at end of file
+</header>