Merge pull request #7597 from minrk/position-header

apply `position: relative` to header
11 years ago · 6e9eeb95c4
parent 708088d74a 7f3f3d4316
commit 6e9eeb95c4
2 changed files with 2 additions and 0 deletions
--- a/IPython/html/static/base/less/page.less
+++ b/IPython/html/static/base/less/page.less
@ -23,6 +23,7 @@ body {
    background-color: @body-bg;

    /* Display over codemirror */
+    position: relative;
    z-index: 100;

    #header-container {
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@ -8401,6 +8401,7 @@ body {
  display: none;
  background-color: #ffffff;
  /* Display over codemirror */
+  position: relative;
  z-index: 100;
 }
 #header #header-container {