/* FreeDevTools V5.1 — single page scrollbar + persistent header */

/* Keep only the browser/root page scrollbar. */
html{
  width:100%;
  min-height:100%;
  overflow-x:hidden;
  overflow-y:auto;
  scrollbar-gutter:stable;
}
body{
  width:100%;
  min-height:100%;
  overflow-x:clip!important;
  overflow-y:visible!important;
}
.site-main{
  width:100%;
  min-height:60vh;
  overflow:visible!important;
}

/* Header is always visible while the document scrolls. */
.premium-header,
.premium-header.scrolled,
.premium-header.is-scrolled{
  position:fixed!important;
  z-index:1000!important;
}
.header-spacer{
  display:block;
  width:100%;
  height:86px;
  flex:0 0 86px;
  pointer-events:none;
}

/* The tool sidebar follows the page without creating a second scrollbar. */
@media(min-width:761px){
  .workspace-shell{
    overflow:visible!important;
  }
  .workspace-sidebar{
    position:sticky!important;
    top:88px!important;
    align-self:start!important;
    height:auto!important;
    max-height:none!important;
    overflow:visible!important;
    border-radius:23px 0 0 23px;
  }
  .workspace-main{
    overflow:visible!important;
  }
}

@media(max-width:760px){
  html{scrollbar-gutter:auto}
  .header-spacer{
    height:74px;
    flex-basis:74px;
  }
  .premium-header,
  .premium-header.scrolled,
  .premium-header.is-scrolled{
    position:fixed!important;
    top:7px!important;
    left:8px!important;
    right:8px!important;
  }
  .workspace-sidebar,
  .workspace-main,
  .tools-directory,
  .directory-main{
    overflow-y:visible!important;
  }
}