From e3ffe22129dc5240694efcaf38f22484c8916c78 Mon Sep 17 00:00:00 2001
From: Jens Reidel <jens@troet.org>
Date: Mon, 25 May 2020 19:54:06 +0200
Subject: [PATCH] Add fixed header links, fix some parts of mobile UI

Dynamic content width equal to old one if on 1080p

Fix mobile view

Disable fixed header on mobile
---
 docs/_static/style.css | 28 +++++++++++++++++++++++-----
 1 file changed, 23 insertions(+), 5 deletions(-)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index d371518c5..059197d62 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -22,8 +22,8 @@ p {
 }
 
 div.document {
-  margin: 10px auto 0 auto;
-  max-width: 1200px; /* page width */
+  margin: 46px auto 0 auto;
+  max-width: 62.5%; /* page width */
 }
 
 div.body {
@@ -60,7 +60,17 @@ div.footer a {
 
 div.related {
   padding: 10px 10px;
-  width: auto;
+  width: 100%;
+  position: fixed;
+  top: 0;
+}
+
+div.related li.right:nth-of-type(1) {
+  padding-right: 13px;
+}
+
+.py-attribute-table {
+  flex-wrap: wrap;
 }
 
 div.sphinxsidebar {
@@ -526,10 +536,14 @@ div.code-block-caption {
 }
 
 @media screen and (max-width: 870px) {
+  div.related {
+    position: relative;
+  }
 
   div.document {
+    margin: 10px 0 0 0;
     width: auto;
-    margin: 0;
+    max-width: none;
   }
 
   div.documentwrapper {
@@ -542,7 +556,7 @@ div.code-block-caption {
 
   div.body {
     min-height: 0;
-    padding: 0 20px 30px 20px;
+    padding: 0 0 30px 10px;
   }
 
   div.footer {
@@ -562,6 +576,10 @@ div.code-block-caption {
     color: #fff;
   }
 
+  table.docutils td {
+    word-break: break-all;
+  }
+
   div.sphinxsidebar {
     background-color: #333;
     color: #fff;