diff --git a/develop/doc/html/.buildinfo b/develop/doc/html/.buildinfo index f89a81e6c..6ba660a27 100644 --- a/develop/doc/html/.buildinfo +++ b/develop/doc/html/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: 79eaa9b23466b1406dd8a33011d7894a +config: 83bbed787a8fde5047710da3d607efdd tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/develop/doc/html/_static/basic.css b/develop/doc/html/_static/basic.css index 2e3cf3230..24bc73e7f 100644 --- a/develop/doc/html/_static/basic.css +++ b/develop/doc/html/_static/basic.css @@ -693,7 +693,7 @@ pre { overflow-y: hidden; /* fixes display issues on Chrome browsers */ } -pre, div[class|="highlight"] { +pre, div[class*="highlight-"] { clear: both; } @@ -704,7 +704,7 @@ span.pre { hyphens: none; } -div[class^="highlight-"] { +div[class*="highlight-"] { margin: 1em 0; } diff --git a/develop/doc/html/_static/pygments.css b/develop/doc/html/_static/pygments.css index 631bc92ff..be9feffb7 100644 --- a/develop/doc/html/_static/pygments.css +++ b/develop/doc/html/_static/pygments.css @@ -1,5 +1,10 @@ +pre { line-height: 125%; margin: 0; } +td.linenos pre { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; } +span.linenos { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; } +td.linenos pre.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; } +span.linenos.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; } .highlight .hll { background-color: #ffffcc } -.highlight { background: #f8f8f8; } +.highlight { background: #f8f8f8; } .highlight .c { color: #408080; font-style: italic } /* Comment */ .highlight .err { border: 1px solid #FF0000 } /* Error */ .highlight .k { color: #008000; font-weight: bold } /* Keyword */ diff --git a/develop/doc/html/_static/searchtools.js b/develop/doc/html/_static/searchtools.js index ab5649965..970d0d975 100644 --- a/develop/doc/html/_static/searchtools.js +++ b/develop/doc/html/_static/searchtools.js @@ -166,8 +166,7 @@ var Search = { objectterms.push(tmp[i].toLowerCase()); } - if ($u.indexOf(stopwords, tmp[i].toLowerCase()) != -1 || tmp[i].match(/^\d+$/) || - tmp[i] === "") { + if ($u.indexOf(stopwords, tmp[i].toLowerCase()) != -1 || tmp[i] === "") { // skip this "word" continue; } diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index 63f998c2a..a4c9b17e1 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -114,8 +114,8 @@ read the sections in order.