/* Keep the installation choice visible below the fixed site navigation. */
#installTitle {
  scroll-margin-top: 128px;
}