diff --git a/src/page/Documentation.js b/src/page/Documentation.js
index 6e96579..5455589 100644
--- a/src/page/Documentation.js
+++ b/src/page/Documentation.js
@@ -1,15 +1,15 @@
-import React, {Component} from 'react';
-import {Card, CardSubtitle, CardText, CardTitle, Col, Container, Row} from "reactstrap";
-import {Link} from "react-router-dom";
+import React, { Component } from 'react';
+import { Card, CardSubtitle, CardText, CardTitle, Col, Container, Row } from "reactstrap";
+import { Link } from "react-router-dom";
-import {FaBookReader} from 'react-icons/fa';
-import {FaStream} from 'react-icons/fa';
-import {FaMicroblog} from 'react-icons/fa';
-import {FaGitter} from 'react-icons/fa';
-import {FaGithub} from 'react-icons/fa';
-import {FaRegLaughSquint} from 'react-icons/fa';
-import {MdSchool} from 'react-icons/md';
-import {GoGraph} from 'react-icons/go';
+import { FaBookReader } from 'react-icons/fa';
+import { FaStream } from 'react-icons/fa';
+import { FaMicroblog } from 'react-icons/fa';
+import { FaGitter } from 'react-icons/fa';
+import { FaGithub } from 'react-icons/fa';
+import { FaRegLaughSquint } from 'react-icons/fa';
+import { MdSchool } from 'react-icons/md';
+import { GoGraph } from 'react-icons/go';
class Documentation extends Component {
@@ -28,37 +28,35 @@ class Documentation extends Component {
-
-
-
-
-
-
-
- Programming Flix
-
-
- The book provides an introduction to Flix for functional programmers. The book
- demonstrates the core concepts of Flix through several examples.
-
-
+
+
+
+
+
+
+ Programming Flix
+
+
+ The book provides an introduction to Flix for functional programmers. The book
+ demonstrates the core concepts of Flix through several examples.
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
Standard Library
-
-
-
- The documentation provides a Javadoc-style description of the Flix library.
-
-
+
+
+ The documentation provides a Javadoc-style description of the Flix library.
+
+
+
@@ -72,81 +70,81 @@ class Documentation extends Component {
-
-
-
-
-
-
-
- Research Papers
-
-
+
+
+
+
+
+
+ Research Papers
+
+
+
-
-
-
-
-
-
-
- Blog
-
-
+
+
+
+
+
+
+ Blog
+
+
+
-
-
-
-
-
-
-
- Gitter
-
-
+
+
+
+
+
+
+ Gitter
+
+
+
-
-
-
-
-
-
-
- GitHub
-
-
+
+
+
+
+
+
+ GitHub
+
+
+
-
-
-
-
-
-
-
- Compiler Perf
-
-
+
+
+
+
+
+
+ Compiler Perf
+
+
+
-
-
-
-
-
-
-
- Language Checklist
-
-
+
+
+
+
+
+
+ Language Checklist
+
+
+