/* Mobile header fix: only keeps the top navigation visible on phones. */
@media (max-width:700px){
  header#top{
    position:sticky !important;
    top:0 !important;
    z-index:10000 !important;
  }
}