branch master updated: * js/info.css: Adjustments for consistent margin/padding of index and other pages.

[Per Bothner]

This is an automated email from the git hooks/post-receive script.

bothner pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 97eb358  * js/info.css: Adjustments for consistent margin/padding of 
index and other pages.
97eb358 is described below

commit 97eb358ee34966dd1dbc80a78bd5bac77748e112
Author: Per Bothner <per@bothner.com>
AuthorDate: Sun Feb 14 15:31:15 2021 -0800

    * js/info.css: Adjustments for consistent margin/padding of index and other 
pages.
---
 ChangeLog   |  4 ++++
 js/info.css | 11 ++++++++---
 js/info.js  |  1 +
 3 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 023fd8a..b06be1d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2021-02-14  Per Bothner  <per@bothner.com>
+
+       * js/info.css: Adjustments to consistent margin/padding for index and 
other pages.
+
 2021-02-14  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * tp/Texinfo/Convert/HTML.pm (_convert_heading_command):
diff --git a/js/info.css b/js/info.css
index 4651cfd..b36a1a0 100644
--- a/js/info.css
+++ b/js/info.css
@@ -2,14 +2,19 @@
 | Sub pages  |
 `-----------*/
 
+body.in-iframe, div[node]#index {
+    padding: 0px 0.5em 0px 1em;
+}
+
 div[node] {
     left: 25%;
     width: 75%;
+    box-sizing: border-box;
     height: auto;
     top: 0pt;
     bottom: 0pt;
     position: absolute;
-    overflow: hidden;
+    overflow: auto;
 }
 
 div[node][hidden] {
@@ -17,8 +22,8 @@ div[node][hidden] {
 }
 
 /* Non-iframed main page */
-div[node]#index {
-    overflow: auto
+body.in-iframe {
+    margin: 0px;
 }
 
 /* Iframed sub pages */
diff --git a/js/info.js b/js/info.js
index 3193634..dcedcdb 100644
--- a/js/info.js
+++ b/js/info.js
@@ -1312,6 +1312,7 @@
     function
     on_load ()
     {
+      document.body.classList.add ("in-iframe");
       fix_links (document.links);
       var links = {};
       var linkid = basename (window.location.pathname, /[.]x?html$/);