/*
 * Exact floating-navigation variables recovered from the mirrored original.
 * This separate resource also prevents stale local browser CSS from winning.
 */
:root{
  --app-nav-height:70px;
  --app-nav-padding:5px;
  --app-nav-button-width:36px;
  --app-nav-button-height:24px;
  --app-nav-main-width:90px;
}
@media only screen and (max-width:40em){
  :root{
    --app-nav-height:50px;
    --app-nav-button-width:28px;
    --app-nav-button-height:20px;
    --app-nav-main-width:76px;
  }
}