* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  color: #1d1d1f;
  background: #f5f5f7;
  line-height: 1.4;
}
.top {
  display: flex; align-items: center; gap: 12px;
  padding: 12px 16px; background: #fff; border-bottom: 1px solid #ddd;
  position: sticky; top: 0; z-index: 10;
}
.top h1 { font-size: 18px; margin: 0; }
.top { flex-wrap: wrap; justify-content: space-between; padding-top: 4px; padding-bottom: 4px; }
.nav { display: flex; flex-wrap: wrap; }
.nav a {
  display: inline-flex; align-items: center; min-height: 44px; padding: 0 10px;
  color: #0a58ca; text-decoration: none; font-weight: 600; white-space: nowrap;
}
.nav a[aria-current="page"] { color: #1d1d1f; box-shadow: inset 0 -3px 0 #0a58ca; }
@media (max-width: 480px) {
  .nav { width: 100%; justify-content: space-between; }
  .nav a { padding: 0 6px; }
}
@media print { .nav { display: none !important; } }
main { max-width: 720px; margin: 0 auto; padding: 16px; }
.hint { font-size: 14px; color: #555; margin: 0 0 12px; }
.status { font-size: 15px; color: #555; margin: 0 0 8px; }
.error { color: #b00020; background: #fdecee; padding: 10px; border-radius: 8px; }
.versions { list-style: none; margin: 0; padding: 0; }
.versions li {
  display: flex; align-items: center; gap: 12px;
  background: #fff; border: 1px solid #e0e0e5; border-radius: 10px;
  padding: 10px 12px; margin-bottom: 8px;
}
.info { flex: 1; min-width: 0; display: flex; flex-direction: column; }
.info span { font-size: 14px; color: #555; overflow-wrap: anywhere; }
.versions button {
  flex: none; min-height: 44px; padding: 0 16px; font: inherit; font-weight: 600;
  border: 0; border-radius: 10px; background: #0a58ca; color: #fff; cursor: pointer;
}
.versions button:disabled { opacity: .5; }
.done { font-weight: 600; color: #1e7b34; background: #e8f5ea; padding: 10px; border-radius: 8px; }
.done a { color: #0a58ca; }
.paper-wrap { overflow-x: auto; margin-top: 12px; }
.paper-wrap .paper { box-shadow: 0 1px 4px rgba(0, 0, 0, .15); }