/* Preserve the priority of the former inline declarations. */
.source-inline-57bff51b45a4be29:not(#source-inline-priority-reserved):not(
    #source-inline-priority-reserved
  ) {
  margin-top: 60px;
}
.source-inline-811a1309149b40bf:not(#source-inline-priority-reserved):not(
    #source-inline-priority-reserved
  ) {
  padding-top: 0;
}
