@font-face {
  font-family: "Bedrock Universe Levels";
  src: url("../fonts/BedrockUniverseLevels-Regular.woff2") format("woff2");
  font-style: normal; font-weight: 400; font-display: swap;
}
/* All type-certified levels share quiet mathematical lettering. Only a
   rewritten expression has a subtle dotted source-reveal cue; no box or fill. */
.universe-notation, .notation-style-universe, .universe-parameter, .Agda .universe-parameter, a.universe-parameter {
  font: 400 1em/1.15 "Bedrock Universe Levels", "JuliaMono", monospace;
  font-synthesis: none;
}
.universe-parameter, .Agda .universe-parameter, a.universe-parameter {
  color: color-mix(in srgb, var(--code-fg) 72%, var(--code-bg));
}
.universe-parameter .universe-parameter { font-size: 1em; }
.source-notation { position: relative; display: inline-block; vertical-align: baseline;
  margin: 0; padding: 0; border: 0; background: none; cursor: help; white-space: nowrap;
  text-decoration: underline dotted color-mix(in srgb, var(--code-fg) 28%, transparent);
  text-underline-offset: .15em; text-decoration-thickness: 1px; }
/* One layout vocabulary for every rule, including nested scripts. Generated
   glyphs do not enter textContent, source offsets or the copy payload. */
.notation-view { display: inline; pointer-events: none; }
.notation-text::before { content: attr(data-notation-text); }
.notation-index { font-size: .7em; line-height: 0; }
.notation-super { vertical-align: super; }
.notation-sub { font-size: .72em; vertical-align: -.22em; }
.notation-style-pair-projection { font-size: .85em; letter-spacing: -.15em; }
.pair-projection-notation { margin-inline-start: -.05em; }
.source-notation:is(:hover, .info-active) { text-decoration-color: currentColor; }
.source-notation:focus-visible { outline: 2px solid var(--fg-alt); outline-offset: 3px; }
/* Source text is retained for Unicode offsets, copying and existing anchors.
   A clipped, positioned box keeps anchor destinations at the visible notation. */
.universe-source { position: absolute; inset: 0 auto auto 0; width: 1px; height: 1px;
  overflow: hidden; clip-path: inset(50%); white-space: pre; pointer-events: none; }
.notation-elided-parenthesis { position: absolute; width: 1px; height: 1px;
  overflow: hidden; clip-path: inset(50%); white-space: pre; pointer-events: none; }
[data-universe-raw], [data-source-raw] { white-space: pre-wrap; }
.source-notation-type { display: block; margin-bottom: .35em; color: var(--code-fg); }
.source-hover-label { margin: 0 0 .4rem; color: var(--code-comment); font: .72rem/1.3 var(--sans); white-space: normal; }
@media (forced-colors: active) { .source-notation { border-color: ButtonText; color: ButtonText; } }