Polish: nav fits at every desktop width, Custom View list values, phone docs, README

web/docs.js

@@ -385,7 +385,14 @@
                 }
             }
         });
-        wrap('openDoc', () => { renderSidebar(); decorate(); }, name => { setUrl(permalink(name), true); });
+        wrap('openDoc', () => {
+            renderSidebar(); decorate();
+            // Phones and tablets stack the list above the article: bring the article into view
+            if (window.matchMedia('(max-width: 1100px)').matches) {
+                const bar = document.getElementById('docToolbar');
+                if (bar) window.scrollTo({ top: window.scrollY + bar.getBoundingClientRect().top - (parseFloat(getComputedStyle(document.documentElement).getPropertyValue('--nav-h')) || 60) - 10, behavior: 'smooth' });
+            }
+        }, name => { setUrl(permalink(name), true); });
         wrap('formatCodeBlocks', decorate);
         wrap('setDocMode', mode => {
             const sel = document.getElementById('docCategory');