/* Change the mouse cursor to a pointer when mousing over link icons. */
span[class^="dupe-open"],
span[class^="mfg-open"] {
  cursor: pointer;
}

/* Simple busy spinner. */
.spinner {
  border: 16px solid #f3f3f3;
  border-top: 16px solid #3b3b3b;
  border-radius: 50%;
  width: 72px;
  height: 72px;
  animation: spin 2s linear infinite;
}

@keyframes spin {
  0% {
    transform: rotate(0deg);
  }

  100% {
    transform: rotate(360deg);
  }
}

/* Wider center grid column for displaying tables. */
.widebody {
  width: 100vw;
  position: relative;
  left: 50%;
  right: 50%;
  margin-left: -50vw;
  margin-right: -50vw;
}

figure>table {
  margin-left: auto;
  margin-right: auto;
}