:root{
  --main-maxw: 840px;
  --table-maxw: 1200px;
  --legend-sticky-h: 44px;

  --color-text: #000;
  --color-muted:#333;
  --color-border:#ddd;
  --color-accent:#39ff14;

  --judge-green:#00a88f;
  --judge-blue:#1e66ff;
  --judge-gray:#888;
  --judge-pink:#ff4fb6;
  --judge-red:#ff3b30;
}

/* 半角英数フォント */
@font-face{
  font-family:"AlphaNumFont";
  src:local("Roboto Mono"),
      url("https://fonts.gstatic.com/s/robotomono/v22/L0x5DF4xlVMF-BfR8bXMIjhG.woff2") format("woff2");
  unicode-range: U+0030-0039, U+0041-005A, U+0061-007A;
  font-display:swap;
}