From 243906b2eb41382202de9de223e605c3fad22f14 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Wed, 15 Jul 2020 11:17:41 +0200
Subject: [PATCH] [doc] Allow full webpage width for docs
---
doc/_static/style.css | 3 +++
doc/_templates/layout.html | 4 ++++
doc/conf.py | 2 +-
3 files changed, 8 insertions(+), 1 deletion(-)
create mode 100644 doc/_static/style.css
create mode 100644 doc/_templates/layout.html
diff --git a/doc/_static/style.css b/doc/_static/style.css
new file mode 100644
index 00000000..b07bdb1b
--- /dev/null
+++ b/doc/_static/style.css
@@ -0,0 +1,3 @@
+.wy-nav-content {
+ max-width: none;
+}
diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
new file mode 100644
index 00000000..3e44f4a3
--- /dev/null
+++ b/doc/_templates/layout.html
@@ -0,0 +1,4 @@
+{% extends "!layout.html" %}
+{% block extrahead %}
+ <link href="{{ pathto("_static/style.css", True) }}" rel="stylesheet" type="text/css">
+{% endblock %}
diff --git a/doc/conf.py b/doc/conf.py
index c822aa64..baf7af85 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -168,7 +168,7 @@ html_favicon = 'img/bob-favicon.ico'
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
-#html_static_path = ['_static']
+html_static_path = ['_static']
# If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
# using the given strftime format.
--
GitLab