diff --git a/docs/amaranth/latest/.buildinfo b/docs/amaranth/latest/.buildinfo index add4a040..4e691b69 100644 --- a/docs/amaranth/latest/.buildinfo +++ b/docs/amaranth/latest/.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: d461e6dcf4dd3592e3d5e9035f1f4cd8 +config: 03614df11149c99451adef8fbc534d6d tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle index b11f3545..87043c99 100644 Binary files a/docs/amaranth/latest/.doctrees/environment.pickle and b/docs/amaranth/latest/.doctrees/environment.pickle differ diff --git a/docs/amaranth/latest/_static/custom.css b/docs/amaranth/latest/_static/custom.css index e95df7d5..c9ba739c 100644 --- a/docs/amaranth/latest/_static/custom.css +++ b/docs/amaranth/latest/_static/custom.css @@ -9,9 +9,11 @@ a { text-decoration: underline; } .wy-side-nav-search > a img.logo { width: 200px; } /* Some of our section titles are looong */ -.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; } -.wy-side-nav-search { width: 325px; } -.wy-nav-content-wrap { margin-left: 340px; } +@media screen and (min-width:769px) { + .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; } + .wy-side-nav-search { width: 325px; } + .wy-nav-content-wrap { margin-left: 340px; } +} /* We don't have a version picker widget */ .wy-nav-side { padding-bottom: 0; } diff --git a/docs/amaranth/latest/_static/documentation_options.js b/docs/amaranth/latest/_static/documentation_options.js index 559610f8..758a6b2e 100644 --- a/docs/amaranth/latest/_static/documentation_options.js +++ b/docs/amaranth/latest/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '0.4.1.dev19', + VERSION: '0.4.1.dev20', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/docs/amaranth/latest/changes.html b/docs/amaranth/latest/changes.html index 6c5fd80f..20c0c1cd 100644 --- a/docs/amaranth/latest/changes.html +++ b/docs/amaranth/latest/changes.html @@ -4,7 +4,7 @@ -