diff --git a/doc/conf.py b/doc/conf.py
index 2debd5f856309543f6917e174a6d4fb4483c3c10..ac6adba3456d334bac3ff66b2b316d4c6fede9a8 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -112,7 +112,7 @@ html_theme_options = {
   "linkcolor": '#2980B9',
   "headerlinkcolor": '#6CA2C5',
   "headerfont": 'Arial, sans-serif',
-  "bodyfont": '"Lato","proxima-nova","Helvetica Neue",Arial,sans-serif',
+  "bodyfont": 'Arial, sans-serif',
   "headercolor1": "#19214F",
   "headercolor2": "#19214F",
 }
diff --git a/doc/gettingstarted.rst b/doc/gettingstarted.rst
index c3e4998aa38b6365bd898acc6748142abab866a9..a388ea0a290bc089e7eeba79f16a9c1eb5dd774e 100644
--- a/doc/gettingstarted.rst
+++ b/doc/gettingstarted.rst
@@ -12,17 +12,23 @@ To build Leon, you will need, the following:
 * a 1.7 Java Development Kit, from Oracle (to run sbt and scala)
 * sbt, at least version 0.13.X (to build Leon)
 
-To build, type this::
+To build, type this
+
+.. code-block:: bash
 
     $ sbt clean
     $ sbt compile # takes about 3 minutes
     $ sbt script
 
-Then you can try e.g::
+Then you can try e.g
+
+.. code-block:: bash
 
     $ ./leon --solvers=smt-cvc4 ./testcases/verification/sas2011-testcases/RedBlackTree.scala
 
-and get something like this::
+and get something like this
+
+.. code-block:: bash
 
    ┌──────────────────────┐
  ╔═╡ Verification Summary ╞═══════════════════════════════════════════════════════════════════╗
diff --git a/doc/index.rst b/doc/index.rst
index 34b763386b3611235047d47656fa82b7ec1cba54..3ff2326ef0748dc64684d715eb85681a6a9e428b 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -3,8 +3,8 @@
    You can adapt this file completely to your liking, but it should at least
    contain the root `toctree` directive.
 
-Welcome to Leon's documentation!
-================================
+Leon documentation
+==================
 
 Contents:
 
diff --git a/doc/themes/leon/layout.html b/doc/themes/leon/layout.html
index c00aab5da66799f94cfbfbfd5a50b2ef5d12ddeb..fd901cd19be7bc150fe540b9078642467b1a1e9f 100644
--- a/doc/themes/leon/layout.html
+++ b/doc/themes/leon/layout.html
@@ -7,10 +7,21 @@
 {% block header %}
     <div class="header-wrapper">
       <div class="header">
-        {%- block headertitle %}
-        <div class="headertitle left"><a
-          href="{{ pathto(master_doc) }}">{{ shorttitle|e }}</a></div>
-        {%- endblock %}
+        <div class="left">
+            {%- block headertitle %}
+            <div class="headertitle"><a
+              href="{{ pathto(master_doc) }}">{{ shorttitle|e }}</a></div>
+            {%- endblock %}
+            <div class="rel">
+              {%- if prev %}
+              <a href="{{ prev.link|e }}">{{ prev.title }}</a> | 
+              {%- endif %}
+              <a class="uplink" href="{{ pathto(master_doc) }}">{{ _('Contents') }}</a>
+              {%- if next %}
+              | <a href="{{ next.link|e }}">{{ next.title }}</a>
+              {%- endif %}
+            </div>
+        </div>
         {%- block sidebarsearch %}
         <div class="right">
           <form class="search" action="{{ pathto('search') }}" method="get">
diff --git a/doc/themes/leon/static/css/leon.css_t b/doc/themes/leon/static/css/leon.css_t
index 834bc538accb0e0584a361612fd1520df84fc553..55d525e4cc190b0d37f7d7bd3b9f56fa55e9df26 100644
--- a/doc/themes/leon/static/css/leon.css_t
+++ b/doc/themes/leon/static/css/leon.css_t
@@ -142,7 +142,6 @@ div.header .headertitle a {
 }
 
 div.header div.rel {
-  display:none;
   font-size: 0.8em;
 }
 
@@ -484,3 +483,17 @@ div.viewcode-block:target {
     border-top: 1px solid #ac9;
     border-bottom: 1px solid #ac9;
 }
+
+@media only screen
+and (max-device-width : 768px) {
+    body {
+        background: white !important;
+    }
+    div.sidebar {
+        display:none;
+    }
+    div.document {
+        width: 100% !important;
+        float: none !important;
+    }
+}