/* Only the labels requested in the two reference screenshots. */
html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a { font-size: 16px; line-height: 1.35; }
html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a > span:not(.pool-project-icon) { font-size: 10px; line-height: 1.35; }
.project-stage-bar { font-size: 16px; }
.project-stage-bar button { font-size: 16px; }
.project-stage-bar span { font-size: 14px; }
@media(max-width:760px), (pointer:coarse) and (max-height:500px) {
  html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a { font-size: 14px; }
  html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a > span:not(.pool-project-icon) { font-size: 8px; }
  .project-stage-bar, .project-stage-bar button { font-size: 14px; }
}
@media(max-width:360px) {
  html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a { font-size: 13px; }
  html:not(.project-is-open):not(.beyond-pool-open) .pool-home .pool-dock a > span:not(.pool-project-icon) { font-size: 7px; }
}
