/* 52.5px -> 59.3px (+13%), excluding the device safe area. */
@media(max-width:900px){
 .mobile-navigation button{padding-top:8.4px;padding-bottom:8.4px;min-height:48px}
 .workspace{padding-bottom:calc(75px + env(safe-area-inset-bottom))}
 .mobile-more-menu{bottom:calc(71px + env(safe-area-inset-bottom))}
}