/* Align the guide header with the shared 2020 site header. */
#header .userbar {
  right: 10px;
}