diff --git a/js/info.css b/js/info.css index 4651cfd9f0..b7ca96a561 100644 --- a/js/info.css +++ b/js/info.css @@ -2,14 +2,22 @@ | Sub pages | `-----------*/ +body.in-iframe, div[node]#index { + padding: 0px 0.5em; +} +div.node { + padding-left: 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 +25,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 31936346ae..dcedcdb441 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$/);