Upload styles.py with huggingface_hub

styles.py

@@ -0,0 +1,430 @@
+"""Stylesheet for the interface.
+
+Design notes, so future edits do not quietly undo the reasoning:
+
+* Aurora over void. A near-black indigo ground with three slow colour fields
+  bleeding across it. Flat #111 with one grey border on everything is what
+  made the earlier pass read as bland.
+* Panels are glass: translucent fill, blurred backdrop, a bright top hairline
+  to catch the light. Depth comes from light, not from outlines.
+* Three saturated hues carry meaning and nothing else does - cyan is always
+  Python, amber is always the compiled target, violet is the one action that
+  costs something. Colour as a code, not decoration.
+* Timing rows are CSS grid with a dedicated numeral column and a separate unit
+  column, so decimal points align down the stack. Right-aligning "24.739 s"
+  against "337.20 ms" as whole strings makes the digits jitter.
+* Radii are generous and consistent: 22px panels, 16px controls, pills for
+  buttons.
+"""
+
+CSS = """
+:root {
+  --void:        #06040f;
+  --ink:         #0b0818;
+
+  --glass:       rgba(28, 24, 48, .55);
+  --glass-2:     rgba(38, 33, 64, .58);
+  --glass-3:     rgba(50, 44, 82, .5);
+  --edge:        rgba(160, 140, 255, .13);
+  --edge-lit:    rgba(190, 175, 255, .28);
+
+  --text:        #f0ecff;
+  --text-dim:    #a49dc4;
+  --text-faint:  #6f6892;
+
+  --py:          #22d3ee;
+  --py-deep:     #0e9bb8;
+  --target:      #fb923c;
+  --target-deep: #ea6f18;
+  --accent:      #a855f7;
+  --accent-2:    #ec4899;
+
+  --ok:          #34d399;
+  --warn:        #fbbf24;
+  --err:         #fb7185;
+
+  --r-xl: 24px;
+  --r-lg: 18px;
+  --r-md: 14px;
+  --r-sm: 10px;
+}
+
+/* ---------- ground ---------- */
+
+.gradio-container {
+  max-width: 1520px !important;
+  margin: 0 auto !important;
+  padding: 0 30px 60px !important;
+  color: var(--text) !important;
+  background:
+    radial-gradient(1200px 620px at 8% -12%,  rgba(34,211,238,.15), transparent 60%),
+    radial-gradient(1000px 560px at 96% -4%,  rgba(168,85,247,.18), transparent 58%),
+    radial-gradient(1100px 700px at 52% 108%, rgba(236,72,153,.10), transparent 62%),
+    linear-gradient(178deg, var(--ink), var(--void) 70%) !important;
+  background-attachment: fixed !important;
+}
+
+.gradio-container .prose,
+.gradio-container .prose * { color: var(--text); }
+
+/* Neutralise Gradio's own block chrome; our panels carry the structure. */
+.gradio-container .block,
+.gradio-container .form {
+  background: transparent !important;
+  border-color: var(--edge) !important;
+  border-radius: var(--r-lg) !important;
+}
+
+/* ---------- masthead ---------- */
+
+.masthead { padding: 44px 0 26px; }
+.masthead h1 {
+  margin: 0 0 13px;
+  font-size: clamp(1.75rem, 3.2vw, 2.45rem);
+  font-weight: 800;
+  letter-spacing: -0.035em;
+  line-height: 1.08;
+}
+/* display:inline-block is required - an inline span has a fragmented
+   background box, so background-clip:text clips against nothing and the
+   transparent fill renders the word invisible. */
+.masthead h1 .py,
+.masthead h1 .rs {
+  display: inline-block;
+  -webkit-background-clip: text; background-clip: text;
+  -webkit-text-fill-color: transparent;
+  color: var(--py);              /* fallback if background-clip is unsupported */
+}
+.masthead h1 .py { background-image: linear-gradient(92deg, #67e8f9, var(--py)); }
+.masthead h1 .rs {
+  background-image: linear-gradient(92deg, var(--target), #f472b6);
+  color: var(--target);
+}
+.masthead h1 .arrow { color: var(--text-faint); font-weight: 300; margin: 0 10px; }
+.masthead p {
+  margin: 0;
+  color: var(--text-dim);
+  font-size: 1.03rem;
+  max-width: 68ch;
+  line-height: 1.62;
+}
+.masthead .links { margin-top: 20px; display: flex; gap: 10px; flex-wrap: wrap; }
+.masthead .links a {
+  font-size: .84rem;
+  font-weight: 500;
+  color: var(--text-dim);
+  text-decoration: none;
+  border: 1px solid var(--edge);
+  background: var(--glass);
+  backdrop-filter: blur(12px);
+  border-radius: 999px;
+  padding: 8px 17px;
+  transition: all .2s cubic-bezier(.22,1,.36,1);
+}
+.masthead .links a:hover {
+  color: #fff;
+  border-color: var(--edge-lit);
+  background: rgba(168,85,247,.18);
+  transform: translateY(-1px);
+  box-shadow: 0 6px 20px -8px rgba(168,85,247,.7);
+}
+
+/* ---------- glass panel base ---------- */
+
+.verdict,
+.picker > *,
+.gradio-container .accordion,
+.gradio-container details {
+  background: var(--glass) !important;
+  backdrop-filter: blur(16px) saturate(140%);
+  -webkit-backdrop-filter: blur(16px) saturate(140%);
+  border: 1px solid var(--edge) !important;
+  box-shadow:
+    0 1px 0 rgba(255,255,255,.07) inset,
+    0 24px 60px -34px rgba(0,0,0,.95);
+}
+
+/* ---------- verdict ---------- */
+
+.verdict {
+  border-radius: var(--r-xl) !important;
+  padding: 24px 30px;
+  margin-bottom: 22px;
+  position: relative;
+  overflow: hidden;
+}
+/* a thin lit seam across the top edge */
+.verdict::before {
+  content: "";
+  position: absolute; inset: 0 0 auto 0; height: 1px;
+  background: linear-gradient(90deg, transparent, var(--edge-lit) 22%,
+                              rgba(236,72,153,.4) 52%, var(--edge-lit) 78%, transparent);
+}
+.verdict:has(.idle) { padding: 17px 26px; }
+.verdict .idle {
+  color: var(--text-faint);
+  font-size: .9rem;
+  margin: 0;
+  text-align: center;
+}
+
+.verdict-grid {
+  display: grid;
+  grid-template-columns: auto minmax(280px, 1fr) auto;
+  align-items: center;
+  gap: 36px;
+}
+
+.speedup {
+  font-size: clamp(2.6rem, 4.8vw, 3.5rem);
+  font-weight: 900;
+  line-height: .92;
+  letter-spacing: -0.05em;
+  background: linear-gradient(96deg, var(--target) 4%, var(--accent-2) 52%, var(--accent) 96%);
+  -webkit-background-clip: text; background-clip: text;
+  -webkit-text-fill-color: transparent;
+  white-space: nowrap;
+  filter: drop-shadow(0 4px 18px rgba(236,72,153,.35));
+}
+.speedup-label {
+  font-size: .68rem;
+  text-transform: uppercase;
+  letter-spacing: .15em;
+  color: var(--text-faint);
+  margin-top: 10px;
+  -webkit-text-fill-color: var(--text-faint);
+}
+
+/* Grid, not flex - guarantees the digits line up between rows. */
+.timing-row {
+  display: grid;
+  grid-template-columns: 66px 1fr 78px 30px;
+  align-items: center;
+  gap: 14px;
+  margin-bottom: 12px;
+  font-size: .87rem;
+}
+.timing-row:last-child { margin-bottom: 0; }
+.timing-row .name { color: var(--text-dim); }
+.timing-row .bar-track {
+  display: block;                 /* spans are inline; height would be dropped */
+  height: 11px;
+  background: rgba(255,255,255,.055);
+  border-radius: 999px;
+  overflow: hidden;
+  box-shadow: 0 1px 2px rgba(0,0,0,.4) inset;
+}
+.timing-row .bar {
+  display: block;                 /* same reason - the fill would never paint */
+  height: 100%;
+  min-width: 5px;
+  border-radius: 999px;
+  transition: width .6s cubic-bezier(.22,1,.36,1);
+}
+.timing-row.py .bar {
+  background: linear-gradient(90deg, var(--py-deep), var(--py));
+  box-shadow: 0 0 14px rgba(34,211,238,.55);
+}
+.timing-row.target .bar {
+  background: linear-gradient(90deg, var(--target-deep), var(--target));
+  box-shadow: 0 0 14px rgba(251,146,60,.6);
+}
+.timing-row .num {
+  text-align: right;
+  font-variant-numeric: tabular-nums;
+  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
+  color: var(--text);
+}
+.timing-row .unit {
+  text-align: left;
+  font-size: .78rem;
+  color: var(--text-faint);
+  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
+}
+
+.badge {
+  display: inline-flex;
+  align-items: center;
+  gap: 8px;
+  font-size: .81rem;
+  font-weight: 600;
+  padding: 10px 18px;
+  border-radius: 999px;
+  white-space: nowrap;
+  backdrop-filter: blur(8px);
+}
+.badge.match {
+  background: rgba(52,211,153,.14); color: var(--ok);
+  border: 1px solid rgba(52,211,153,.36);
+  box-shadow: 0 0 22px -6px rgba(52,211,153,.5);
+}
+.badge.mismatch {
+  background: rgba(251,113,133,.14); color: var(--err);
+  border: 1px solid rgba(251,113,133,.36);
+  box-shadow: 0 0 22px -6px rgba(251,113,133,.5);
+}
+.badge.unknown {
+  background: rgba(251,191,36,.13); color: var(--warn);
+  border: 1px solid rgba(251,191,36,.34);
+}
+
+/* ---------- picker row ---------- */
+
+/* Gradio renders Row children flush, which reads as one bar sliced by seams.
+   Separate cards are most of the difference between designed and default. */
+.picker { gap: 15px !important; background: transparent !important; border: none !important; }
+.picker > * {
+  border-radius: var(--r-lg) !important;
+  padding: 6px 8px 8px !important;
+  transition: border-color .2s ease, box-shadow .2s ease;
+}
+.picker > *:focus-within {
+  border-color: rgba(168,85,247,.55) !important;
+  box-shadow: 0 0 0 3px rgba(168,85,247,.13), 0 24px 60px -34px rgba(0,0,0,.95) !important;
+}
+.picker .block, .picker .form {
+  background: transparent !important; border: none !important; box-shadow: none !important;
+}
+.picker input, .picker .wrap { border-radius: var(--r-md) !important; }
+.picker span[data-testid="block-info"],
+.picker label > span,
+.picker label span {
+  font-size: .71rem !important;
+  text-transform: uppercase !important;
+  letter-spacing: .13em !important;
+  color: var(--text-faint) !important;
+  font-weight: 700 !important;
+}
+
+.status-line { font-size: .86rem; color: var(--text-dim); margin: 6px 0 18px; padding-left: 3px; }
+.status-line strong { color: var(--py); font-weight: 600; }
+
+/* ---------- code panes ---------- */
+
+.pane .block { border-radius: var(--r-xl) !important; overflow: hidden; }
+.pane .cm-editor, .pane textarea {
+  background: rgba(10,8,22,.72) !important;
+  border-radius: var(--r-xl) !important;
+}
+.pane label span { font-weight: 600 !important; }
+
+/* ---------- outputs ---------- */
+
+.out-box textarea {
+  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace !important;
+  font-size: .845rem !important;
+  line-height: 1.62 !important;
+  border-radius: var(--r-lg) !important;
+  background: rgba(10,8,22,.72) !important;
+  backdrop-filter: blur(8px);
+}
+.py-out textarea {
+  border: 1px solid rgba(34,211,238,.3) !important;
+  color: #a5f3fc !important;
+  box-shadow: 0 0 26px -12px rgba(34,211,238,.6) !important;
+}
+.rust-out textarea {
+  border: 1px solid rgba(251,146,60,.3) !important;
+  color: #fed7aa !important;
+  box-shadow: 0 0 26px -12px rgba(251,146,60,.6) !important;
+}
+
+/* ---------- controls ---------- */
+
+.controls { gap: 14px !important; align-items: stretch !important; margin: 8px 0 6px; }
+
+/* elem_classes lands on the <button> for Buttons but a wrapper <div> for most
+   other components, so both are matched. */
+.btn-convert, .btn-convert button {
+  background-image: linear-gradient(96deg, var(--accent) 0%, var(--accent-2) 100%) !important;
+  color: #fff !important;
+  font-weight: 700 !important;
+  border: none !important;
+  border-radius: 999px !important;
+  padding: 14px 24px !important;
+  letter-spacing: .012em;
+  box-shadow: 0 8px 28px -10px rgba(192,60,190,.9),
+              0 1px 0 rgba(255,255,255,.22) inset !important;
+  transition: transform .18s cubic-bezier(.22,1,.36,1), box-shadow .18s ease, filter .18s ease;
+}
+.btn-convert:hover, .btn-convert button:hover {
+  filter: brightness(1.12) saturate(1.1);
+  transform: translateY(-2px);
+  box-shadow: 0 14px 36px -10px rgba(192,60,190,1),
+              0 1px 0 rgba(255,255,255,.3) inset !important;
+}
+.btn-convert:active, .btn-convert button:active { transform: translateY(0); }
+
+.btn-run, .btn-run button {
+  background: var(--glass-2) !important;
+  background-image: none !important;
+  backdrop-filter: blur(12px);
+  color: var(--text) !important;
+  border: 1px solid var(--edge) !important;
+  border-radius: 999px !important;
+  padding: 14px 24px !important;
+  font-weight: 600 !important;
+  transition: all .18s cubic-bezier(.22,1,.36,1);
+}
+.btn-run.py:hover, .btn-run.py button:hover {
+  border-color: var(--py) !important; color: var(--py) !important;
+  background: rgba(34,211,238,.13) !important;
+  box-shadow: 0 8px 26px -12px rgba(34,211,238,.9) !important;
+  transform: translateY(-2px);
+}
+.btn-run.rust:hover, .btn-run.rust button:hover {
+  border-color: var(--target) !important; color: var(--target) !important;
+  background: rgba(251,146,60,.13) !important;
+  box-shadow: 0 8px 26px -12px rgba(251,146,60,.9) !important;
+  transform: translateY(-2px);
+}
+.btn-run[disabled], .btn-run button[disabled] {
+  opacity: .35 !important; cursor: not-allowed !important; transform: none !important;
+}
+
+/* ---------- key panel ---------- */
+
+.gradio-container .accordion,
+.gradio-container details { border-radius: var(--r-lg) !important; }
+.keybox, .keybox input {
+  border-radius: var(--r-md) !important;
+  background: rgba(10,8,22,.6) !important;
+}
+.key-note { font-size: .855rem; color: var(--text-dim); line-height: 1.68; }
+.key-note strong { color: var(--text); }
+.key-note code {
+  background: var(--glass-3); padding: 2px 7px;
+  border-radius: var(--r-sm); font-size: .93em;
+}
+
+/* ---------- footer ---------- */
+
+.footer {
+  margin-top: 40px; padding-top: 26px;
+  border-top: 1px solid var(--edge);
+  color: var(--text-faint);
+  font-size: .82rem; line-height: 1.78;
+}
+.footer strong { color: var(--text-dim); }
+.footer code {
+  background: var(--glass-3); padding: 2px 7px;
+  border-radius: var(--r-sm); color: var(--text-dim);
+}
+
+/* Gradio's own footer advertises Gradio; the project's footer replaces it. */
+footer { display: none !important; }
+
+@media (prefers-reduced-motion: reduce) {
+  * { transition: none !important; animation: none !important; }
+}
+
+@media (max-width: 980px) {
+  .verdict-grid { grid-template-columns: 1fr; gap: 20px; }
+  .badge-cell { justify-self: start; }
+}
+@media (max-width: 880px) {
+  .gradio-container { padding: 0 15px 40px !important; }
+  .verdict { padding: 20px; }
+  .timing-row { grid-template-columns: 56px 1fr 66px 26px; gap: 10px; }
+}
+"""