/* * Scroll-to-top control styling, lifted verbatim from the live page's * inline