New RTD docs

2026-05-07 17:04:58 +00:00 · 2016-10-25 16:12:41 -07:00
parent 8627e67f8c
commit 12187097f7
33 changed files with 3906 additions and 1615 deletions
--- a/_static/basic.css
+++ b/_static/basic.css
@@ -85,10 +85,6 @@ div.sphinxsidebar #searchbox input[type="text"] {
    width: 170px;
 }

-div.sphinxsidebar #searchbox input[type="submit"] {
-    width: 30px;
-}
-
 img {
    border: 0;
    max-width: 100%;
@@ -498,6 +494,13 @@ pre {
    overflow-y: hidden;  /* fixes display issues on Chrome browsers */
 }

+span.pre {
+    -moz-hyphens: none;
+    -ms-hyphens: none;
+    -webkit-hyphens: none;
+    hyphens: none;
+}
+
 td.linenos pre {
    padding: 5px 0px;
    border: 0;