/* CoolmAIth Games: 2005 coolmath-games.com, give or take a few million GPUs */
html, body { background: #000000; color: #FFFFFF; }
body { margin: 0; padding: 0; font-family: Arial, Helvetica, sans-serif; font-size: 13px; }
a:link { color: #28A9FF; }
a:visited { color: #CA00CA; }
a:active, a:hover { color: #FF0000; }
table { font-family: Arial, Helvetica, sans-serif; }

/* ---------- top banner ---------- */
.bb-side { width: 36px; height: 90px; display: flex; align-items: center; justify-content: center;
  color: #808080; font-size: 9px; font-weight: bold; line-height: 10px; text-align: center; }
.bb-label { color: #808080; font-size: 10px; letter-spacing: 3px; font-weight: bold; }
.bb { position: relative; overflow: hidden; margin: 0 auto; cursor: pointer; text-align: center; }
.bb-728 { width: 728px; height: 90px; }
.bb-160 { width: 160px; height: 600px; }
.bb-300 { width: 300px; height: 250px; }

/* ---------- logo / navbar ---------- */
.logo { display: block; }
.logo-big { font-family: 'Titan One', 'Arial Black', Impact, sans-serif; font-size: 52px; fill: #FF0000;
  stroke: #FFFF00; stroke-width: 3.5px; paint-order: stroke; stroke-linejoin: round; letter-spacing: 1px; }
.logo-small { font-family: 'Titan One', 'Arial Black', Impact, sans-serif; font-size: 27px; fill: #FF0000;
  stroke: #FFFF00; stroke-width: 2.5px; paint-order: stroke; stroke-linejoin: round; }
.navbar { border-top: 3px solid #FF0000; border-bottom: 3px solid #FFFF00; margin-bottom: 4px; }
.nav-seg { font-weight: bold; font-size: 14px; padding: 2px 8px; white-space: nowrap;
  border-right: 3px solid #FFFF00; box-shadow: inset -3px 0 0 #FF0000; }
.nav-seg.nav-last { border-right: 0; box-shadow: none; width: 100%; }
.navbar a { text-decoration: none; margin-right: 6px; }
.navbar a:hover { text-decoration: underline; }

/* ---------- homepage boxes ---------- */
.notice { font-weight: bold; font-size: 13px; line-height: 1.35; }
.box-title { font-weight: bold; font-size: 15px; color: #FFFF00; text-align: center; }
.box-title .count { color: #FFFFFF; font-size: 11px; }
.g { font-weight: bold; font-size: 12px; line-height: 1.25; }
.games .g { height: 21px; }
.hot { color: #FF0000; font-size: 9px; font-weight: bold; animation: blink 0.9s steps(1) infinite;
  vertical-align: super; white-space: nowrap; }
@keyframes blink { 50% { visibility: hidden; } }
.removed { margin-top: 6px; font-size: 12px; }
.removed ul { margin: 3px 0 3px 18px; padding: 0; color: #C0C0C0; text-decoration: line-through; }
.g .katex, .howto .katex, .level .katex { font-size: 1.05em; }

/* ---------- footer ---------- */
.sponsor-head { font-weight: bold; font-size: 11px; color: #000; letter-spacing: 1px; }
.sponsor-head span { font-weight: normal; letter-spacing: 0; }
.sponsor { color: #FFFF00; font-size: 12px; height: 34px; }
.sponsor small { color: #C0C0C0; }
.partner-head { color: #000; font-weight: bold; font-size: 12px; }
.partner-head a { color: #000080; }
.footer-small { font-size: 12px; }
.spam { color: #28A9FF; text-decoration: underline; cursor: pointer; }
.footer-links { width: 656px; font-size: 11px; color: #FFFFFF; text-align: center; padding: 10px 0 30px; line-height: 1.5; }
.footer-links .dots { color: #FFFF00; }
.counter { margin: 4px 0 10px; }
.odometer { font-family: 'Courier New', monospace; font-weight: bold; font-size: 14px; background: #000;
  color: #00FF00; border: 2px inset #808080; padding: 0 4px; letter-spacing: 3px; }
.netscape { color: #808080; }

/* ---------- game page ---------- */
.game-title { font-family: 'Titan One', 'Arial Black', Impact, sans-serif; font-size: 30px; color: #FF0000;
  line-height: 1.15; padding: 6px 4px 0; letter-spacing: 0.5px;
  text-shadow: 2px 0 #FFFF00, -2px 0 #FFFF00, 0 2px #FFFF00, 0 -2px #FFFF00,
    1.5px 1.5px #FFFF00, -1.5px -1.5px #FFFF00, 1.5px -1.5px #FFFF00, -1.5px 1.5px #FFFF00; }
.game-title .katex { text-shadow: none; color: #FF0000; }
.game-sub { color: #FFFFFF; font-size: 11px; font-weight: bold; margin: 4px 0 8px; }
.promo { font-weight: bold; font-size: 13px; }
.help-line { font-size: 12px; margin-top: 8px; width: 560px; }
.designer { font-size: 11px; color: #C0C0C0; margin-top: 4px; }
.designer span { color: #FFFF00; font-weight: bold; }
.info { font-size: 12px; }
.brain { font-size: 15px; }
.brain.off { filter: grayscale(1); opacity: 0.25; }
.rate .stars { margin: 0 8px; }
.rate button { background: none; border: 0; color: #555; font-size: 20px; cursor: pointer; padding: 0 1px; line-height: 1; }
.rate button.on { color: #FFFF00; }
.rate-info { color: #C0C0C0; font-size: 11px; }
.howto { font-size: 13px; line-height: 1.5; text-align: left; }
.level { text-align: left; font-size: 12px; line-height: 1.45; }
.level-head { font-weight: bold; font-size: 13px; }
.level-n { background: #FF0000; color: #FFFF00; padding: 0 4px; margin-right: 4px; font-size: 11px; }
.level-meta { color: #808080; font-size: 11px; margin: 2px 0 4px; }
.level-abs { color: #E0E0E0; }

/* ---------- the "Flash" game ---------- */
.flash { position: relative; width: 560px; height: 420px; background: #000; border: 2px solid #404040;
  outline: none; user-select: none; overflow: hidden; }
.flash-bg { position: absolute; inset: 0; }
.flash-loading, .flash-title { position: absolute; inset: 0; display: flex; flex-direction: column;
  align-items: center; justify-content: center; }
.flash-loading-text { font-family: 'Titan One', 'Arial Black', sans-serif; font-size: 22px; color: #FFFF00; letter-spacing: 3px; }
.flash-bar { width: 300px; height: 14px; border: 2px solid #FFFFFF; margin: 12px 0 6px; padding: 2px; }
.flash-bar-fill { height: 100%; width: 0; background: repeating-linear-gradient(90deg, #00FF00 0 10px, #00AA00 10px 12px); }
.flash-pct { font-weight: bold; font-size: 13px; }
.flash-think { color: #808080; font-size: 11px; margin-top: 8px; font-style: italic; }
.flash-loading[hidden], .flash-title[hidden], .flash-menu[hidden] { display: none; }
.flash-title { padding: 0 34px; text-align: center; background: radial-gradient(ellipse at center, rgba(0,0,0,0.55), rgba(0,0,0,0.1) 70%); }
.stage-num { color: #00FF00; font-weight: bold; font-size: 12px; letter-spacing: 4px; }
.stage-name { font-family: 'Titan One', 'Arial Black', sans-serif; font-size: 28px; line-height: 1.12; color: #FFFF00; margin: 6px 0 10px;
  text-shadow: 3px 3px 0 #FF0000, -1px -1px 0 #000; }
.stage-name .katex { color: #FFFF00; }
.stage-tag { color: #FFFFFF; font-size: 13px; font-weight: bold; max-width: 440px; margin-bottom: 16px; line-height: 1.4;
  text-shadow: 1px 1px 0 #000; }
.stage-btn { display: inline-block; font-family: 'Titan One', 'Arial Black', sans-serif; text-decoration: none;
  border: 3px solid #FFFFFF; border-radius: 14px; margin: 4px; }
.stage-btn:link, .stage-btn:visited { color: #FFFFFF; }
.stage-btn.play { background: linear-gradient(#33FF33, #00A000); font-size: 30px; padding: 4px 38px; letter-spacing: 2px;
  text-shadow: 2px 2px 0 #005000; box-shadow: 0 4px 0 #005000; animation: pulse 1.2s ease-in-out infinite; }
.stage-btn.small { background: linear-gradient(#3fb4ff, #0060c0); font-size: 13px; padding: 4px 12px; box-shadow: 0 3px 0 #003070; }
.stage-btn:hover { filter: brightness(1.2); color: #FFFF00; }
@keyframes pulse { 50% { transform: scale(1.06); } }
.stamp { position: absolute; top: 18px; right: 16px; transform: rotate(14deg); border: 3px solid #00FF00; color: #00FF00;
  font-weight: bold; font-size: 12px; padding: 3px 6px; letter-spacing: 2px; line-height: 1.1; }
.flash-menu { position: absolute; z-index: 5; background: #F0F0F0; color: #000; font-size: 12px; border: 1px solid #808080;
  box-shadow: 2px 2px 0 #404040; padding: 2px 0; text-align: left; min-width: 210px; }
.flash-menu div { padding: 2px 18px; cursor: default; }
.flash-menu div:hover { background: #0A246A; color: #FFF; }
.flash-menu hr { border: 0; border-top: 1px solid #A0A0A0; margin: 2px 1px; }

/* ---------- about ---------- */
.about { font-size: 14px; line-height: 1.55; padding: 10px 18px !important; }
.about p { margin: 10px 0; }

/* ---------- fake ads ---------- */
.bb-inner { position: absolute; inset: 0; display: flex; flex-direction: column; align-items: center; justify-content: center;
  font-family: Verdana, Arial, sans-serif; font-weight: bold; }
.bb-x { position: absolute; top: 2px; right: 3px; font-size: 9px; color: #000; background: #FFF; border: 1px solid #000; padding: 0 3px; }
.blinky { animation: blink 0.6s steps(1) infinite; }
.shake { display: inline-block; animation: shake 0.25s linear infinite; }
@keyframes shake { 25% { transform: translateX(-2px) rotate(-2deg); } 75% { transform: translateX(2px) rotate(2deg); } }
.marq { white-space: nowrap; display: inline-block; animation: marq 7s linear infinite; }
@keyframes marq { from { transform: translateX(100%); } to { transform: translateX(-100%); } }
.bb-btn { background: linear-gradient(#FFFF66, #FFAA00); color: #000; border: 2px outset #FFDD55; padding: 3px 10px; font-size: 13px; margin-top: 6px; }
.monkey { position: absolute; font-size: 30px; animation: monkey 2.4s ease-in-out infinite alternate; }
@keyframes monkey { from { left: 330px; } to { left: 600px; } }

@media (prefers-reduced-motion: reduce) {
  .hot, .blinky, .shake, .marq, .stage-btn.play, .monkey { animation: none; }
}

/* ---------- playable games ---------- */
.game-stage { position: absolute; inset: 0; z-index: 10; background: #000; overflow: hidden; }
.flash.playing .flash-menu { display: none; }
.playable { color: #00FF00; font-size: 9px; font-weight: bold; vertical-align: super; white-space: nowrap;
  animation: blink 1.1s steps(1) infinite; }
.pg { padding: 8px 10px !important; }
.pg-name { font-family: 'Titan One', 'Arial Black', sans-serif; font-size: 21px; text-decoration: none; }
.pg-name:hover { text-decoration: underline; }
.pg-result { color: #C0C0C0; font-size: 11px; font-weight: bold; margin-top: 3px; }
.pg-tag { color: #FFFFFF; font-size: 12px; margin-top: 4px; }
.pitch { font-weight: bold; font-size: 14px; padding: 0 12px; text-align: center; line-height: 1.35; }
.all-link { margin-top: 10px; text-align: center; font-size: 16px; }
.all-link a { color: #FFFF00; }

/* ---------- in-site paper reader ---------- */
.reader { padding: 8px 10px !important; }
.reader-col { width: 590px; overflow: hidden; }
.paper .math.inline { white-space: normal; }
.level-badge { color: #00FF00; font-weight: bold; font-size: 12px; letter-spacing: 2px; text-align: center; margin-top: 4px; }
.paper-title { font-size: 26px; text-align: center; }
.pdf-link { font-size: 11px; }
.level-nav { display: flex; justify-content: space-between; font-weight: bold; font-size: 13px; margin: 10px 0; }
.boss { color: #FF0000; font-weight: bold; }
.toc { margin: 0; padding-left: 22px; font-size: 13px; line-height: 1.55; columns: 2; column-gap: 24px; }
.toc li { break-inside: avoid; }
.toc .toc-l2, .toc .toc-l3 { font-weight: bold; }
.toc .toc-l4 { margin-left: 12px; font-size: 12px; }
.paper { font-family: Verdana, Arial, sans-serif; font-size: 14px; line-height: 1.65; color: #F0F0F0; margin: 8px 0 16px;
  overflow-wrap: break-word; }
.paper p { margin: 0 0 12px; }
.paper h1, .paper h2, .paper h3, .paper h4, .paper h5 { font-family: 'Titan One', 'Arial Black', sans-serif; font-weight: normal;
  color: #FFFF00; text-shadow: 2px 2px 0 #FF0000; letter-spacing: 0.5px; margin: 26px 0 10px; line-height: 1.2; }
.paper h1, .paper h2, .paper h3 { font-size: 22px; border-bottom: 3px solid #FF0000; padding-bottom: 4px; }
.paper h4 { font-size: 17px; color: #28A9FF; text-shadow: 1px 1px 0 #000; }
.paper h5 { font-size: 15px; color: #00FF00; text-shadow: none; }
.paper .header-section-number { color: #FF0000; margin-right: 8px; }
.paper a { color: #28A9FF; }
.paper .math.display { display: block; overflow-x: auto; overflow-y: hidden; margin: 10px 0; padding: 2px 0; }
.paper .katex-display { margin: 0; }
.paper .katex { font-size: 1.08em; }
.paper .math-error { color: #FF8000; font-family: 'Courier New', monospace; font-size: 12px; white-space: normal; }
.paper .theorem, .paper .lemma, .paper .proposition, .paper .corollary, .paper .definition, .paper .conjecture,
.paper .claim, .paper .remark, .paper .example, .paper .assumption, .paper .hypothesis {
  border: 3px solid #808080; padding: 10px 12px 2px; margin: 14px 0; background: #0A0A0A; }
.paper .theorem { border-color: #FF0000; background: #1A0000; }
.paper .theorem > p:first-child > strong:first-child::before { content: "\2605  BOSS: "; color: #FFFF00; }
.paper .lemma { border-color: #28A9FF; }
.paper .proposition { border-color: #00FF00; }
.paper .corollary { border-color: #CA00CA; }
.paper .definition { border-color: #FF8000; border-style: dashed; }
.paper .conjecture { border-color: #FFFF00; }
.paper .remark, .paper .example { border-color: #404040; border-width: 2px; }
.paper .theorem strong:first-child { color: #FF4040; }
.paper .lemma strong:first-child { color: #28A9FF; }
.paper .proposition strong:first-child { color: #00FF00; }
.paper .corollary strong:first-child { color: #FF66FF; }
.paper .definition strong:first-child { color: #FF8000; }
.paper .proof { border-left: 3px dashed #00FF00; padding: 2px 0 2px 12px; margin: 0 0 16px; }
.paper .proof > p:first-child em:first-child { color: #00FF00; font-style: normal; font-weight: bold; }
.paper .proof::after { content: "\220E  PROOF COMPLETE!"; display: block; text-align: right; color: #00FF00; font-weight: bold;
  font-size: 11px; letter-spacing: 1px; }
.paper .abstract { display: none; }
.paper .citation a { font-weight: bold; }
.paper ol.bib, .paper #refs { font-size: 12px; line-height: 1.5; color: #D0D0D0; }
.paper #refs > div { margin-bottom: 6px; }
.paper .bib li { margin-bottom: 6px; }
.paper .fig-missing { display: block; border: 2px dashed #404040; color: #808080; text-align: center; padding: 18px; margin: 10px 0; }
.paper table { border-collapse: collapse; margin: 10px 0; font-size: 13px; }
.paper td, .paper th { border: 1px solid #404040; padding: 3px 6px; }
.paper pre, .paper code { font-family: 'Courier New', monospace; font-size: 12px; color: #00FF00; }
.paper pre { background: #0A0A0A; border: 1px solid #333; padding: 8px; overflow-x: auto; }
.paper blockquote { border-left: 3px solid #CA00CA; margin: 8px 0; padding-left: 12px; }
.complete-title { font-family: 'Titan One', 'Arial Black', sans-serif; font-size: 26px; color: #00FF00; text-shadow: 2px 2px 0 #005000; margin: 4px 0 6px; }
.paper h6 { font-family: Arial, sans-serif; font-size: 14px; color: #00FF00; margin: 18px 0 6px; font-weight: bold; }

/* the AI in GAImes */
.ai { color: #00FF00; }
.logo-ai { fill: #00FF00; stroke: #FFFF00; }