/* ijcai-07.org — style 1b Analyst. Generated 2026-08-14 from the approved
   design package. Overrides themes/authority/static/css/style.css. */
@font-face{font-family:'Archivo';font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/archivo-500-normal.woff2) format('woff2')}
@font-face{font-family:'Archivo';font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/archivo-600-normal.woff2) format('woff2')}
@font-face{font-family:'Archivo';font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/archivo-700-normal.woff2) format('woff2')}
@font-face{font-family:'Newsreader';font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/newsreader-400-italic.woff2) format('woff2')}
@font-face{font-family:'Newsreader';font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/newsreader-400-normal.woff2) format('woff2')}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-mono-400-normal.woff2) format('woff2')}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/ibm-plex-mono-500-normal.woff2) format('woff2')}

*,*::before,*::after{box-sizing:border-box}
body{margin:0;background:#FFFFFF;color:#2A2723;font-family:'Newsreader', Georgia, serif;
  font-size:17px;line-height:1.55;-webkit-font-smoothing:antialiased}
a{color:inherit}
img{max-width:100%}
.wrap{max-width:1440px;margin:0 auto}
.skip{position:absolute;left:-9999px;top:0;background:#14213D;color:#fff;padding:10px 16px;z-index:99}
.skip:focus{left:8px;top:8px}
:focus-visible{outline:3px solid #B3122E;outline-offset:3px}
.mono{font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:12px;color:#4A463F;letter-spacing:.02em}
.kicker{font-family:'Archivo', system-ui, sans-serif;font-weight:600;font-size:11px;text-transform:uppercase;
  color:#B3122E;letter-spacing:.11em;display:inline-block}
.hatch{background:repeating-linear-gradient(135deg,#E6E8EC 0 10px,#D5D8DE 10px 20px);
  position:relative;border:1px solid #D5D0C6}
.hatch .cap{position:absolute;left:0;bottom:0;background:#14213D;color:#fff;
  font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:11px;padding:6px 10px;max-width:80%}
.r32{aspect-ratio:3/2}
.r165{aspect-ratio:16/5}
footer{background:#14213D;color:#E8EEF4;margin-top:64px}
footer .fin{padding:36px 44px;display:flex;gap:40px;justify-content:space-between;flex-wrap:wrap}
footer a{font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:12px;color:#E8EEF4;text-decoration:none;margin-right:22px}
footer a:hover{text-decoration:underline}
.disc{font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:11px;line-height:1.7;color:#E8EEF4;max-width:70ch;opacity:.92}
.prose p{margin:0 0 1.15em;max-width:66ch}
.prose h2{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:27px;line-height:1.2;
  margin:2em 0 .5em;color:#14213D;max-width:40ch}
.prose h3{font-family:'Archivo', system-ui, sans-serif;font-weight:600;font-size:21px;margin:1.7em 0 .4em;color:#14213D}
.prose a{color:#B3122E}
/* Designed at 1440. CT section names are long, so the nav overruns on narrower
   laptops well before the mobile breakpoint — let it wrap and tighten the gutters. */
@media (max-width:1280px){
  .mast,.nav{flex-wrap:wrap}
  .mast{padding-left:32px;padding-right:32px}
  .nav{padding-left:32px;padding-right:32px}
  .hero{padding-left:32px;padding-right:32px}
  .belowfold{margin-left:32px;margin-right:32px}
  .nav a{margin-left:0;margin-right:20px}
  .navwrap{text-align:left}
  .led{grid-template-columns:280px 1fr 120px}
  .idx{grid-template-columns:52px 240px 1fr 96px}
}
@media (max-width:900px){
  .hero,.belowfold,.seclist{grid-template-columns:1fr !important}
  .rail{border-left:0 !important;border-top:1px solid #D5D0C6;margin-top:28px}
}

.mast{background:#14213D;padding:20px 48px;display:flex;align-items:center;
  justify-content:space-between;gap:24px;flex-wrap:wrap}
.wordmark{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:21px;letter-spacing:.10em;
  text-transform:uppercase;color:#fff;text-decoration:none}
.wordmark .sl{color:#E8EEF4;font-weight:500;padding:0 .35em}
.nav{display:flex;align-items:center;gap:22px;flex-wrap:wrap}
.nav a{font-family:'Archivo', system-ui, sans-serif;font-weight:500;font-size:13px;color:#fff;text-decoration:none;letter-spacing:.04em}
.nav a:hover{color:#E8EEF4;text-decoration:underline;text-underline-offset:4px}
.nav .dt{font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:11px;color:#E8EEF4}
.hero{display:grid;grid-template-columns:1fr 372px}
.hero .lead{padding:0 40px 0 48px}
.hero .art{height:322px;margin:0 0 26px}
.hero .krow{display:flex;align-items:center;gap:12px;margin-top:28px}
.hero .tick{width:1px;height:12px;background:#D5D0C6;display:inline-block}
.hero h1{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:54px;line-height:1.03;
  letter-spacing:-.026em;color:#14213D;margin:.22em 0 .3em;max-width:17ch}
.deck{font-family:'Newsreader', Georgia, serif;font-size:20px;line-height:1.5;color:#2A2723;max-width:66ch;margin:0 0 18px}
.rail{background:#F4F5F7;border-left:1px solid #D5D0C6;padding:28px 32px}
.rail h2{font-family:'Archivo', system-ui, sans-serif;font-weight:600;font-size:12px;text-transform:uppercase;
  letter-spacing:.12em;color:#14213D;margin:0 0 6px}
.rail .it{padding:16px 0;border-bottom:1px solid #D5D0C6}
.rail .it:last-child{border-bottom:0}
.rail .it h3{font-family:'Archivo', system-ui, sans-serif;font-weight:600;font-size:20px;line-height:1.18;
  margin:.3em 0 0;color:#14213D}
.belowfold{margin:52px 48px 0}
.belowfold > h2{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:24px;color:#14213D;margin:0 0 18px}
.idx{display:grid;grid-template-columns:64px 300px 1fr 110px;gap:20px;align-items:baseline;
  padding:20px 8px;border-top:1px solid #D5D0C6;text-decoration:none}
.idx:first-of-type{border-top:1px solid #14213D}
.idx:hover{background:#F4F5F7}
.idx .n{font-family:'IBM Plex Mono', ui-monospace, monospace;font-weight:500;font-size:14px;color:#B3122E}
.idx .nm{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:24px;color:#14213D}
.idx .ds{font-family:'Newsreader', Georgia, serif;font-size:18px;color:#2A2723}
.idx .ct{font-family:'IBM Plex Mono', ui-monospace, monospace;font-size:12px;color:#4A463F;text-align:right}

.leadart{display:block;width:100%;margin-top:22px;border:1px solid #D5D0C6}
.hero .lead h1 a,.rail h3 a,.col a,.led,.idx,.listrow h2 a{text-decoration:none;color:inherit}
.hero .lead h1 a:hover,.rail h3 a:hover,.listrow h2 a:hover{color:#B3122E}
.rail img{display:block;width:100%;border:1px solid #D5D0C6}
.pagehead{border-top:2px solid #14213D;padding-top:22px;margin:0 0 8px}
.pagehead h1{font-family:'Archivo', system-ui, sans-serif;font-weight:700;line-height:1.06;letter-spacing:-.02em;
  color:#14213D;margin:.2em 0 .28em;text-wrap:balance}
main > .pagehead,main > .listrow,main > .single{margin-left:44px;margin-right:44px}
.listrow{padding:26px 0;border-top:1px solid #D5D0C6}
.listrow h2{font-family:'Archivo', system-ui, sans-serif;font-weight:700;font-size:27px;line-height:1.18;
  margin:.3em 0 .35em;color:#14213D;max-width:40ch;text-wrap:balance}
.lsum{max-width:70ch;margin:0 0 10px}
.single{max-width:1240px}
.single .leadart{max-width:100%;margin-bottom:34px}
.col .lab{font-family:'Archivo', system-ui, sans-serif;font-weight:600;font-size:12px;text-transform:uppercase;
  letter-spacing:.10em;color:#14213D;padding-bottom:7px;border-bottom:2px solid #B3122E;
  display:inline-block;text-decoration:none}
@media (max-width:1280px){ main > .pagehead,main > .listrow,main > .single{margin-left:32px;margin-right:32px} }