/* JAX 教程：notebook 页面样式（由 tools/build_site.py 生成，请勿手工编辑） */
@media (min-width: 57.8125em) {
  #main .page:has(.jax-nb) { width: 100%; float: none; padding-left: 0; padding-right: 0; }
}
.jax-bar { display: flex; flex-wrap: wrap; align-items: center; gap: .5em 1em; margin: 0 0 1.5em;
  padding-bottom: .8em; border-bottom: 1px solid #e3e6e8; font-size: .85em; }
.jax-bar__home { font-weight: 600; text-decoration: none; }
.jax-bar__part { color: #7a8288; }
.jax-bar__actions { margin-left: auto; display: flex; gap: .5em; flex-wrap: wrap; }
.jax-btn { display: inline-block; padding: .35em .9em; border: 1px solid #c9d1d6; border-radius: 1em;
  text-decoration: none !important; font-size: .95em; white-space: nowrap; }
.jax-btn--colab { background: #f9ab00; border-color: #f9ab00; color: #1f2328 !important; font-weight: 600; }
.jax-btn:hover { filter: brightness(.95); }

.jax-nb { font-size: .95em; line-height: 1.65; }
.jax-nb .cell { margin: 0 0 1.1em; }
.jax-nb .prompt { display: none; }
.jax-nb h2 { margin-top: 2em; padding-bottom: .3em; border-bottom: 1px solid #e3e6e8; }
.jax-nb h3 { margin-top: 1.6em; }
.jax-nb .anchor-link { margin-left: .3em; opacity: 0; text-decoration: none; font-size: .8em; }
.jax-nb h1:hover .anchor-link, .jax-nb h2:hover .anchor-link, .jax-nb h3:hover .anchor-link,
.jax-nb h4:hover .anchor-link, .jax-nb h5:hover .anchor-link { opacity: .6; }
.jax-nb blockquote { margin: 1em 0; padding: .4em 1em; border-left: 4px solid #d0d7de; color: inherit; font-style: normal; }
.jax-nb blockquote p { margin: .3em 0; }
.jax-nb table { display: block; overflow-x: auto; font-size: .9em; margin: 1em 0; border-collapse: collapse; }
.jax-nb th, .jax-nb td { padding: .35em .7em; border: 1px solid #e3e6e8; vertical-align: top; }
.jax-nb details { margin: .8em 0; padding: .5em 1em; border: 1px solid #e3e6e8; border-radius: 6px; }
.jax-nb summary { cursor: pointer; font-weight: 600; }
.jax-nb code { font-size: .88em; }

.jax-nb .input_area, .jax-nb .jp-InputArea-editor { margin: 0; }
.jax-nb .input_area pre, .jax-nb div.highlight pre {
  margin: 0; padding: .8em 1em; overflow-x: auto; font-size: .82em; line-height: 1.5;
  background: #f6f8fa; border: 1px solid #e3e6e8; border-radius: 6px; }
.jax-nb .output_wrapper, .jax-nb .output { margin: 0; }
.jax-nb .output_area pre {
  margin: .3em 0 0; padding: .6em 1em; overflow-x: auto; max-height: 32em; font-size: .8em; line-height: 1.45;
  background: transparent; border-left: 3px solid #d0d7de; border-radius: 0; white-space: pre; }
.jax-nb .output_stderr pre { background: #fff5f5; border-left-color: #f0a0a0; }
.jax-nb .output_error pre { background: #fff5f5; border-left-color: #e05d5d; }
.jax-nb .output_png img, .jax-nb .output_area img { max-width: 100%; height: auto; }
.jax-nb .output_html { overflow-x: auto; font-size: .85em; }

.jax-pager { display: flex; justify-content: space-between; gap: 1em; margin: 3em 0 1em; padding-top: 1em;
  border-top: 1px solid #e3e6e8; }
.jax-pager a { display: block; max-width: 48%; text-decoration: none; }
.jax-pager small { display: block; color: #7a8288; }
.jax-pager__next { margin-left: auto; text-align: right; }

/* ANSI 颜色（jaxpr、报错信息的彩色输出） */
.jax-nb .ansi-bold { font-weight: bold; }
.jax-nb .ansi-black-fg { color: #3e424d; } .jax-nb .ansi-red-fg { color: #c33; }
.jax-nb .ansi-green-fg { color: #2a7a2a; } .jax-nb .ansi-yellow-fg { color: #a26a00; }
.jax-nb .ansi-blue-fg { color: #1f5fbf; } .jax-nb .ansi-magenta-fg { color: #a03ca0; }
.jax-nb .ansi-cyan-fg { color: #0f7f8f; } .jax-nb .ansi-white-fg { color: #777; }
.jax-nb .ansi-black-intense-fg { color: #282c36; } .jax-nb .ansi-red-intense-fg { color: #b22b31; }
.jax-nb .ansi-green-intense-fg { color: #007427; } .jax-nb .ansi-yellow-intense-fg { color: #b27d12; }
.jax-nb .ansi-blue-intense-fg { color: #0065ca; } .jax-nb .ansi-magenta-intense-fg { color: #a03196; }
.jax-nb .ansi-cyan-intense-fg { color: #258f8f; } .jax-nb .ansi-white-intense-fg { color: #a1a6b2; }

/* 深色模式 */
html[data-theme="dark"] .jax-bar, html[data-theme="dark"] .jax-pager,
html[data-theme="dark"] .jax-nb h2 { border-color: #383d43; }
html[data-theme="dark"] .jax-btn { border-color: #4a5058; }
html[data-theme="dark"] .jax-nb .input_area pre, html[data-theme="dark"] .jax-nb div.highlight pre {
  background: #23272c; border-color: #383d43; }
html[data-theme="dark"] .jax-nb .output_area pre { border-left-color: #4a5058; }
html[data-theme="dark"] .jax-nb .output_stderr pre, html[data-theme="dark"] .jax-nb .output_error pre {
  background: #2d2224; border-left-color: #a35a5a; }
html[data-theme="dark"] .jax-nb blockquote { border-left-color: #4a5058; }
html[data-theme="dark"] .jax-nb th, html[data-theme="dark"] .jax-nb td,
html[data-theme="dark"] .jax-nb details { border-color: #383d43; }
html[data-theme="dark"] .jax-nb .ansi-black-fg, html[data-theme="dark"] .jax-nb .ansi-black-intense-fg { color: #c5c8cc; }
html[data-theme="dark"] .jax-nb .ansi-red-fg, html[data-theme="dark"] .jax-nb .ansi-red-intense-fg { color: #ff7b72; }
html[data-theme="dark"] .jax-nb .ansi-green-fg, html[data-theme="dark"] .jax-nb .ansi-green-intense-fg { color: #7ee787; }
html[data-theme="dark"] .jax-nb .ansi-yellow-fg, html[data-theme="dark"] .jax-nb .ansi-yellow-intense-fg { color: #e3b341; }
html[data-theme="dark"] .jax-nb .ansi-blue-fg, html[data-theme="dark"] .jax-nb .ansi-blue-intense-fg { color: #79c0ff; }
html[data-theme="dark"] .jax-nb .ansi-magenta-fg, html[data-theme="dark"] .jax-nb .ansi-magenta-intense-fg { color: #d2a8ff; }
html[data-theme="dark"] .jax-nb .ansi-cyan-fg, html[data-theme="dark"] .jax-nb .ansi-cyan-intense-fg { color: #56d4dd; }

/* 代码高亮 */
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.jax-nb .highlight .hll { background-color: #ffffcc }
.jax-nb .highlight .c { color: #3D7B7B; font-style: italic } /* Comment */
.jax-nb .highlight .err { border: 1px solid #F00 } /* Error */
.jax-nb .highlight .k { color: #008000; font-weight: bold } /* Keyword */
.jax-nb .highlight .o { color: #666 } /* Operator */
.jax-nb .highlight .ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
.jax-nb .highlight .cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
.jax-nb .highlight .cp { color: #9C6500 } /* Comment.Preproc */
.jax-nb .highlight .cpf { color: #3D7B7B; font-style: italic } /* Comment.PreprocFile */
.jax-nb .highlight .c1 { color: #3D7B7B; font-style: italic } /* Comment.Single */
.jax-nb .highlight .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
.jax-nb .highlight .gd { color: #A00000 } /* Generic.Deleted */
.jax-nb .highlight .ge { font-style: italic } /* Generic.Emph */
.jax-nb .highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.jax-nb .highlight .gr { color: #E40000 } /* Generic.Error */
.jax-nb .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.jax-nb .highlight .gi { color: #008400 } /* Generic.Inserted */
.jax-nb .highlight .go { color: #717171 } /* Generic.Output */
.jax-nb .highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.jax-nb .highlight .gs { font-weight: bold } /* Generic.Strong */
.jax-nb .highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.jax-nb .highlight .gt { color: #04D } /* Generic.Traceback */
.jax-nb .highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.jax-nb .highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.jax-nb .highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.jax-nb .highlight .kp { color: #008000 } /* Keyword.Pseudo */
.jax-nb .highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.jax-nb .highlight .kt { color: #B00040 } /* Keyword.Type */
.jax-nb .highlight .m { color: #666 } /* Literal.Number */
.jax-nb .highlight .s { color: #BA2121 } /* Literal.String */
.jax-nb .highlight .na { color: #687822 } /* Name.Attribute */
.jax-nb .highlight .nb { color: #008000 } /* Name.Builtin */
.jax-nb .highlight .nc { color: #00F; font-weight: bold } /* Name.Class */
.jax-nb .highlight .no { color: #800 } /* Name.Constant */
.jax-nb .highlight .nd { color: #A2F } /* Name.Decorator */
.jax-nb .highlight .ni { color: #717171; font-weight: bold } /* Name.Entity */
.jax-nb .highlight .ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
.jax-nb .highlight .nf { color: #00F } /* Name.Function */
.jax-nb .highlight .nl { color: #767600 } /* Name.Label */
.jax-nb .highlight .nn { color: #00F; font-weight: bold } /* Name.Namespace */
.jax-nb .highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */
.jax-nb .highlight .nv { color: #19177C } /* Name.Variable */
.jax-nb .highlight .ow { color: #A2F; font-weight: bold } /* Operator.Word */
.jax-nb .highlight .w { color: #BBB } /* Text.Whitespace */
.jax-nb .highlight .mb { color: #666 } /* Literal.Number.Bin */
.jax-nb .highlight .mf { color: #666 } /* Literal.Number.Float */
.jax-nb .highlight .mh { color: #666 } /* Literal.Number.Hex */
.jax-nb .highlight .mi { color: #666 } /* Literal.Number.Integer */
.jax-nb .highlight .mo { color: #666 } /* Literal.Number.Oct */
.jax-nb .highlight .sa { color: #BA2121 } /* Literal.String.Affix */
.jax-nb .highlight .sb { color: #BA2121 } /* Literal.String.Backtick */
.jax-nb .highlight .sc { color: #BA2121 } /* Literal.String.Char */
.jax-nb .highlight .dl { color: #BA2121 } /* Literal.String.Delimiter */
.jax-nb .highlight .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
.jax-nb .highlight .s2 { color: #BA2121 } /* Literal.String.Double */
.jax-nb .highlight .se { color: #AA5D1F; font-weight: bold } /* Literal.String.Escape */
.jax-nb .highlight .sh { color: #BA2121 } /* Literal.String.Heredoc */
.jax-nb .highlight .si { color: #A45A77; font-weight: bold } /* Literal.String.Interpol */
.jax-nb .highlight .sx { color: #008000 } /* Literal.String.Other */
.jax-nb .highlight .sr { color: #A45A77 } /* Literal.String.Regex */
.jax-nb .highlight .s1 { color: #BA2121 } /* Literal.String.Single */
.jax-nb .highlight .ss { color: #19177C } /* Literal.String.Symbol */
.jax-nb .highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */
.jax-nb .highlight .fm { color: #00F } /* Name.Function.Magic */
.jax-nb .highlight .vc { color: #19177C } /* Name.Variable.Class */
.jax-nb .highlight .vg { color: #19177C } /* Name.Variable.Global */
.jax-nb .highlight .vi { color: #19177C } /* Name.Variable.Instance */
.jax-nb .highlight .vm { color: #19177C } /* Name.Variable.Magic */
.jax-nb .highlight .il { color: #666 } /* Literal.Number.Integer.Long */
pre { line-height: 125%; }
td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
html[data-theme="dark"] .jax-nb .highlight .hll { background-color: #6e7681 }
html[data-theme="dark"] .jax-nb .highlight .c { color: #8B949E; font-style: italic } /* Comment */
html[data-theme="dark"] .jax-nb .highlight .err { color: #F85149 } /* Error */
html[data-theme="dark"] .jax-nb .highlight .esc { color: #E6EDF3 } /* Escape */
html[data-theme="dark"] .jax-nb .highlight .g { color: #E6EDF3 } /* Generic */
html[data-theme="dark"] .jax-nb .highlight .k { color: #FF7B72 } /* Keyword */
html[data-theme="dark"] .jax-nb .highlight .l { color: #A5D6FF } /* Literal */
html[data-theme="dark"] .jax-nb .highlight .n { color: #E6EDF3 } /* Name */
html[data-theme="dark"] .jax-nb .highlight .o { color: #FF7B72; font-weight: bold } /* Operator */
html[data-theme="dark"] .jax-nb .highlight .x { color: #E6EDF3 } /* Other */
html[data-theme="dark"] .jax-nb .highlight .p { color: #E6EDF3 } /* Punctuation */
html[data-theme="dark"] .jax-nb .highlight .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
html[data-theme="dark"] .jax-nb .highlight .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
html[data-theme="dark"] .jax-nb .highlight .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
html[data-theme="dark"] .jax-nb .highlight .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
html[data-theme="dark"] .jax-nb .highlight .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
html[data-theme="dark"] .jax-nb .highlight .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
html[data-theme="dark"] .jax-nb .highlight .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
html[data-theme="dark"] .jax-nb .highlight .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
html[data-theme="dark"] .jax-nb .highlight .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
html[data-theme="dark"] .jax-nb .highlight .gr { color: #FFA198 } /* Generic.Error */
html[data-theme="dark"] .jax-nb .highlight .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
html[data-theme="dark"] .jax-nb .highlight .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
html[data-theme="dark"] .jax-nb .highlight .go { color: #8B949E } /* Generic.Output */
html[data-theme="dark"] .jax-nb .highlight .gp { color: #8B949E } /* Generic.Prompt */
html[data-theme="dark"] .jax-nb .highlight .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
html[data-theme="dark"] .jax-nb .highlight .gu { color: #79C0FF } /* Generic.Subheading */
html[data-theme="dark"] .jax-nb .highlight .gt { color: #FF7B72 } /* Generic.Traceback */
html[data-theme="dark"] .jax-nb .highlight .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
html[data-theme="dark"] .jax-nb .highlight .kc { color: #79C0FF } /* Keyword.Constant */
html[data-theme="dark"] .jax-nb .highlight .kd { color: #FF7B72 } /* Keyword.Declaration */
html[data-theme="dark"] .jax-nb .highlight .kn { color: #FF7B72 } /* Keyword.Namespace */
html[data-theme="dark"] .jax-nb .highlight .kp { color: #79C0FF } /* Keyword.Pseudo */
html[data-theme="dark"] .jax-nb .highlight .kr { color: #FF7B72 } /* Keyword.Reserved */
html[data-theme="dark"] .jax-nb .highlight .kt { color: #FF7B72 } /* Keyword.Type */
html[data-theme="dark"] .jax-nb .highlight .ld { color: #79C0FF } /* Literal.Date */
html[data-theme="dark"] .jax-nb .highlight .m { color: #A5D6FF } /* Literal.Number */
html[data-theme="dark"] .jax-nb .highlight .s { color: #A5D6FF } /* Literal.String */
html[data-theme="dark"] .jax-nb .highlight .na { color: #E6EDF3 } /* Name.Attribute */
html[data-theme="dark"] .jax-nb .highlight .nb { color: #E6EDF3 } /* Name.Builtin */
html[data-theme="dark"] .jax-nb .highlight .nc { color: #F0883E; font-weight: bold } /* Name.Class */
html[data-theme="dark"] .jax-nb .highlight .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
html[data-theme="dark"] .jax-nb .highlight .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
html[data-theme="dark"] .jax-nb .highlight .ni { color: #FFA657 } /* Name.Entity */
html[data-theme="dark"] .jax-nb .highlight .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
html[data-theme="dark"] .jax-nb .highlight .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
html[data-theme="dark"] .jax-nb .highlight .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
html[data-theme="dark"] .jax-nb .highlight .nn { color: #FF7B72 } /* Name.Namespace */
html[data-theme="dark"] .jax-nb .highlight .nx { color: #E6EDF3 } /* Name.Other */
html[data-theme="dark"] .jax-nb .highlight .py { color: #79C0FF } /* Name.Property */
html[data-theme="dark"] .jax-nb .highlight .nt { color: #7EE787 } /* Name.Tag */
html[data-theme="dark"] .jax-nb .highlight .nv { color: #79C0FF } /* Name.Variable */
html[data-theme="dark"] .jax-nb .highlight .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
html[data-theme="dark"] .jax-nb .highlight .pm { color: #E6EDF3 } /* Punctuation.Marker */
html[data-theme="dark"] .jax-nb .highlight .w { color: #6E7681 } /* Text.Whitespace */
html[data-theme="dark"] .jax-nb .highlight .mb { color: #A5D6FF } /* Literal.Number.Bin */
html[data-theme="dark"] .jax-nb .highlight .mf { color: #A5D6FF } /* Literal.Number.Float */
html[data-theme="dark"] .jax-nb .highlight .mh { color: #A5D6FF } /* Literal.Number.Hex */
html[data-theme="dark"] .jax-nb .highlight .mi { color: #A5D6FF } /* Literal.Number.Integer */
html[data-theme="dark"] .jax-nb .highlight .mo { color: #A5D6FF } /* Literal.Number.Oct */
html[data-theme="dark"] .jax-nb .highlight .sa { color: #79C0FF } /* Literal.String.Affix */
html[data-theme="dark"] .jax-nb .highlight .sb { color: #A5D6FF } /* Literal.String.Backtick */
html[data-theme="dark"] .jax-nb .highlight .sc { color: #A5D6FF } /* Literal.String.Char */
html[data-theme="dark"] .jax-nb .highlight .dl { color: #79C0FF } /* Literal.String.Delimiter */
html[data-theme="dark"] .jax-nb .highlight .sd { color: #A5D6FF } /* Literal.String.Doc */
html[data-theme="dark"] .jax-nb .highlight .s2 { color: #A5D6FF } /* Literal.String.Double */
html[data-theme="dark"] .jax-nb .highlight .se { color: #79C0FF } /* Literal.String.Escape */
html[data-theme="dark"] .jax-nb .highlight .sh { color: #79C0FF } /* Literal.String.Heredoc */
html[data-theme="dark"] .jax-nb .highlight .si { color: #A5D6FF } /* Literal.String.Interpol */
html[data-theme="dark"] .jax-nb .highlight .sx { color: #A5D6FF } /* Literal.String.Other */
html[data-theme="dark"] .jax-nb .highlight .sr { color: #79C0FF } /* Literal.String.Regex */
html[data-theme="dark"] .jax-nb .highlight .s1 { color: #A5D6FF } /* Literal.String.Single */
html[data-theme="dark"] .jax-nb .highlight .ss { color: #A5D6FF } /* Literal.String.Symbol */
html[data-theme="dark"] .jax-nb .highlight .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
html[data-theme="dark"] .jax-nb .highlight .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
html[data-theme="dark"] .jax-nb .highlight .vc { color: #79C0FF } /* Name.Variable.Class */
html[data-theme="dark"] .jax-nb .highlight .vg { color: #79C0FF } /* Name.Variable.Global */
html[data-theme="dark"] .jax-nb .highlight .vi { color: #79C0FF } /* Name.Variable.Instance */
html[data-theme="dark"] .jax-nb .highlight .vm { color: #79C0FF } /* Name.Variable.Magic */
html[data-theme="dark"] .jax-nb .highlight .il { color: #A5D6FF } /* Literal.Number.Integer.Long */