Markdown in INSTALL.md, change styling, and docgen tutorial/test.

Author: MM45

INSTALL.md

@@ -522,6 +522,9 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
 - [OCaml ini-files](https://opam.ocaml.org/packages/ocaml-inifiles/) (version >= 1.2)  
   Additional resources:
   - http://archive.ubuntu.com/ubuntu/pool/universe/o/ocaml-inifiles
+- [OCaml Markdown](https://github.com/gildor478/ocaml-markdown)  
+  Additional resources:
+  - https://opam.ocaml.org/packages/markdown
 - [Python3](https://www.python.org/downloads)  
   You also need to install the following libraries:
   - [Python3 YAML](https://pyyaml.org/wiki/PyYAMLDocumentation)

resources/.gitignore

@@ -1 +0,0 @@
-/tests/

resources/styles/styles.css

@@ -1,30 +1,80 @@
 /* General Styling */
+/* Body */
 body {
-  font-family: Arial, sans-serif;
+  font-family: "-apple-system", "BlinkMacSystemFont", "Roboto", "Helvetica Neue", "Arial", sans-serif;
+  line-height: 1.2;
+  font-size: 16px;
   margin: 0;
   padding: 0;
   color: #333;
   background-color: #f9f9f9;
 }
 
-h1, h2 {
-  color: #444;
+/* Code blocks */
+pre {
+  font-family: "Fira Code", "Consolas", monospace;
+  font-size: 1rem;
+  padding: 5px;
+  border-radius: 1px;
+  color: #2d2d2d;
+  background-color: #ecf0f1;
+}
+
+/* Inline code */
+code {
+  font-family: "Fira Code", "Consolas", "Courier New", monospace;
+  font-size: 1rem;
+  color: #d6336c;
 }
 
-p, pre {
-  margin: 0.5em 0;
+/* Headings */
+h1, h2, h3, h4, h5, h6 {
+  font-family: "Roboto", "Arial", sans-serif;
+  font-weight: 600;
+  color: #1a1a1a;
+  margin-bottom: 0.5em;
 }
 
+h1 {
+  font-size: 2.25rem;
+}
+h2 {
+  font-size: 2rem;
+}
+h3 {
+  font-size: 1.75rem;
+}
+h4 {
+  font-size: 1.5rem;
+}
+h5 {
+  font-size: 1.25rem;
+}
+h6 {
+  font-size: 1rem;
+}
+
+/* Links */
 a {
+  font-family: "Roboto", "Arial", sans-serif;
+  color: #007bff;
   text-decoration: none;
-  color: #0066cc;
 }
 
 a:hover {
+  color: #0056b3;
   text-decoration: underline;
 }
 
-/* Sidebar Styling */
+.serif-text {
+  font-family: "Times New Roman", "Times", serif;
+  font-size: 1rem;
+  color: #333;
+}
+
+/* Specific styling */
+
+/* Sidebar */
 .sidebar {
   width: 200px;
   background-color: #2c3e50;
@@ -76,7 +126,7 @@ a:hover {
   font-weight: bold;
 }
 
-/* Main Content Styling */
+/* Main content */
 main {
   margin-left: 220px;
   padding: 20px;
@@ -99,7 +149,7 @@ main {
   font-size: 1.2em;
 }
 
-/* Section Styling */
+/* Sections */
 .item-section {
   margin-bottom: 40px;
 }
@@ -111,7 +161,7 @@ main {
   margin-bottom: 20px;
 }
 
-/* Item List Styling */
+/* Item lists */
 .item-list {
   list-style: none;
   padding: 0;
@@ -163,17 +213,16 @@ main {
   margin-top: 10px;
 }
 
-/* Code Block Styling */
+/* Source code */
 pre.source {
-  background-color: #ecf0f1;
-  border: 1px solid #bdc3c7;
+  border: 2px solid #bdc3c7;
   padding: 10px;
   border-radius: 5px;
   overflow-x: auto;
   white-space: pre-wrap;
 }
 
-/* Introduction Section Styling */
+/* Introduction section */
 .intro-section {
   margin-bottom: 40px;
 }