.operation-main strong,
.operation-main > span {
  display: block;
}

.mobile-tools {
  display: none;
}

@media (max-width: 700px) {
  .mobile-tools {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    overflow-x: auto;
    padding: 12px 20px;
    border-bottom: 1px solid var(--line);
    font-size: 12px;
    font-weight: 700;
    white-space: nowrap;
  }

  .mobile-tools a[aria-current="page"] {
    text-decoration: underline;
    text-underline-offset: 5px;
  }
}

/* A wall-clock time repeated by the switch to winter time: choose the occurrence. */
.wall-clock-occurrence {
  display: flex;
  flex-direction: column;
  gap: 8px;
  margin: 10px 0 0;
  padding: 12px 14px;
  border: 1px solid var(--accent-border);
  border-radius: 6px;
  background: var(--surface-raised);
}

.wall-clock-occurrence legend {
  padding: 0 4px;
  font-size: 12px;
  font-weight: 800;
}

.wall-clock-occurrence label {
  display: flex;
  align-items: center;
  gap: 8px;
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0;
  text-transform: none;
}

.wall-clock-occurrence input[type="radio"] {
  width: auto;
  margin: 0;
}