From 0de006a64ddd5bc1ad2851c5c29c811ce608d10e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 23 Apr 2015 17:54:24 +0200
Subject: [PATCH] Some improvements for the theme
---
doc/conf.py | 2 +-
doc/gettingstarted.rst | 12 +++++++++---
doc/index.rst | 4 ++--
doc/themes/leon/layout.html | 19 +++++++++++++++----
doc/themes/leon/static/css/leon.css_t | 15 ++++++++++++++-
5 files changed, 41 insertions(+), 11 deletions(-)
diff --git a/doc/conf.py b/doc/conf.py
index 2debd5f85..ac6adba34 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 c3e4998aa..a388ea0a2 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 34b763386..3ff2326ef 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 c00aab5da..fd901cd19 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 834bc538a..55d525e4c 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;
+ }
+}
--
GitLab