From ee1c80b1110994a5ab5459fbf3329b27874f7ae1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemia=20=28Scylla=29?= <stepan@dynare.org>
Date: Sun, 2 Dec 2018 17:39:53 +0100
Subject: [PATCH] Changed theme.

---
 src/source/_static/custom.css | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/source/_static/custom.css b/src/source/_static/custom.css
index b3bd3e7ca..71d59359a 100644
--- a/src/source/_static/custom.css
+++ b/src/source/_static/custom.css
@@ -3,3 +3,16 @@ div.sphinxsidebarwrapper p.logo {
     margin: -10px 0 0 0px;
     text-align: left;
 }
+
+div.body {
+    min-width: 450px;
+    max-width: 90%;
+}
+
+.property{
+    display:inline-block;
+    text-decoration: underline;
+    text-decoration-style: double;
+    padding-right: 10px;
+    padding-top: 20px;
+}