/* Tool-page-specific hooks (shared chrome lives in /tools/tools.css) */
.pr-download-row {
  margin-top: 0.5rem;
}