.view-links > span {
    margin-right: 1ex;
    padding: 0.5ex;
    border: 1pt solid;
    border-radius: 1ex;
    cursor: pointer;
}

.downloads {
  & > * {
    display: inline-block;
    margin-right: 1ex;
    margin-bottom: 1ex;
    padding: 0.5ex;
    border: 1px solid;
    border-radius: 1ex;
    cursor: pointer;
  }
  & > .selected {
    color: blue;
  }
}

.download-links a {
  margin-right: 1ex;
}

@media (prefers-color-scheme: dark) {
  .downloads > .selected,
  .view-links > .selected {
    color: #31b0fa;
  }
}