/* A smaller, consistent gap below the fixed navigation. */
html { scroll-padding-top:calc(var(--v51-nav-height,86px) + 8px); }
#realcore,#data,#robotics,#company,#contact { padding-top:70px; }
@media(max-width:860px) {
 #realcore,#data,#robotics,#company,#contact { padding-top:56px; }
}
@media(max-width:600px) {
 #realcore,#data,#robotics,#company,#contact { padding-top:42px; }
}