body {
  font-family       : arial, sans-serif;
  font-size         : 11pt;
  line-height       : 1.5;
  margin            : 0;
  padding           : 1em;
  widows            : 2;
  orphans           : 2;
  background        : #081018;
  color             : #fff;
}
a:link, a:visited, a:active {
  color             : #88f;
}
a:hover {
  color             : #44f;
}
a.xref {
  text-decoration-color : #303840;
  color                 : inherit;
}
a.xref:hover {
  text-decoration-color : #08c;
  color                 : #8cf;
}
code,
pre {
  font-family       : "Courier New", monospace;
  font-size         : 1em;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  font-weight       : bold;
  margin-top        : 0.5em;
  margin-bottom     : 0.5em;
  border-bottom     : 1px solid #567;
  display           : inline-block;
  color             : #ddf;
}
h1 {
  font-size         : 2em;
}
h2 {
  font-size         : 1.5em;
}
h3 {
  font-size         : 1.2em;
}
h4 {
  font-size         : 1em;
}
h5 {
  font-size         : 0.75em;
}
h6 {
  font-size         : 0.5em;
}
hr {
  border            : 0;
  border-top        : 1px solid #aaa;
  margin            : 2em 0;
}
i, em {
  font-style        : italic;
}
img {
  padding           : 0;
  margin            : 0;
  border            : 1px solid;
}
section {
  page-break-before : always;
  margin-top        : 40px;
  margin-bottom     : 60px;
}
strong,
b {
  font-weight       : bold;
}
p {
  margin            : 0 0 1em 0;
}
p code,
h1 code,
h2 code,
h3 code,
td code,
.tip code,
.note code {
  background        : #244;
  padding           : 0 .15em;
  border-radius     : 3px;
  opacity           : 50%;
  font-weight       : bold;
}
pre {
  white-space       : pre-wrap;
  word-wrap         : break-word;
  background        : #080818;
  margin            : 1em 2em;
  padding           : 0.5em 1em;
  border-left       : 3px solid #8ac;
  line-height       : 1.2;
}
 table {
  margin-left       : 2em;
  margin-bottom     : 0.5em;
  background        : #0d0d0c;
  border-collapse   : collapse;
  border            : 1px solid #444;
}
tr:first-child {
  background        : #080806;
  color             : #6aa;
}
.center {
  text-align        : center;
}
.note {
  border-left       : 3px solid #c66;
  margin            : 1em 2em;
  padding           : 0.5em 1em;
  background-color  : #501414;
  font-size         : 0.95em;
}
.small {
  font-style        : italic;
  font-size         : 0.8em;
}
.tight {
  font-size         : 1em;
  line-height       : 0.88;
  font-weight       : bold;
}
.tip {
  border-left       : 3px solid #6c6;
  margin            : 1em 2em;
  padding           : 0.5em 1em;
  background-color  : #162516;
}
.string {
  color             : yellow;
}
.comment {
  color             : gray;
  font-style        : italic;
}
.number {
  color             : fuchsia;
}
.keyword {
  color             : cornflowerblue;
  font-weight       : bold;
}
.operator {
  color             : darkcyan;
}
#home {
  position          : fixed;
  top               : 10px;
  left              : 10px;
  background        : rgba(24, 48, 96, 0.95);
  color             : #aef;
  font-size         : 0.9em;
  border            : 1px solid #aaa;
  border-radius     : 5px;
  padding           : 0px 8px;
  text-decoration   : none;
  transition        : all 0.25s ease;
}
#home:hover {
  left              : 12px;
  background        : #359;
  color             : #0ff;
  border            : 1px solid #abc;
  transform         : scale(1.05);
}
#toc h1 {
  padding-top       : 30px;
}
#toc {
  background        : linear-gradient(to bottom, #0a1220 0%, #081018 100%);
}
.toc-resize-handle {
  position          : fixed;
  top               : 0;
  left              : 300px;
  width             : 8px;
  height            : 100svh;
  cursor            : col-resize;
  background        : transparent;
  transition        : background 0.2s ease, left 0.1s ease;
  z-index           : 1000;
  margin-left       : -8px;
  visibility        : visible;
}
.toc-resize-handle:hover {
  background        : rgba(85, 102, 119, 0.5);
}
.toc-resize-handle::after {
  content           : '';
  position          : absolute;
  top               : 50%;
  left              : 50%;
  transform         : translate(-50%, -50%);
  width             : 3px;
  height            : 30px;
  background        : #567;
  border-radius     : 2px;
  opacity           : 0;
  transition        : opacity 0.2s ease;
}
.toc-resize-handle:hover::after {
  opacity           : 1;
}
#toc h1 {
  margin-top        : 0;
  font-size         : 1.5em;
  border-bottom     : 2px solid #567;
  padding-bottom    : 0.5em;
  color             : #ddf;
}
#toc ul {
  list-style        : none;
  padding-left      : 0;
  margin            : 0.5em 0;
}
#toc ul ul {
  padding-left      : 1em;
  margin            : 0.25em 0;
}
#toc ul ul ul {
  padding-left      : 1.5em;
  margin            : 0.15em 0;
}
#toc li {
  line-height       : 1.2em;
  margin            : 0.4em 0;
}
#toc > ul > li > a {
  font-size         : 1.15em;
  font-weight       : bold;
  color             : #8cf;
}
#toc > ul > ul > li > a {
  font-size         : 1.05em;
  font-weight       : normal;
  color             : #88f;
}
#toc > ul > ul > ul > li > a {
  font-size         : 0.85em;
  font-weight       : normal;
  color             : #779;
}
#toc a {
  text-decoration: none;
  display           : inline-block;
  padding           : 0.2em 0;
  transition        : all 0.2s ease;
}
#toc a:hover {
  color             : #aaf;
  padding-left      : 0.5em;
}
#toc a.current-chapter {
  font-weight       : bold;
  color             : #fff;
  background        : #622;
  padding           : 0.3em 0.5em;
  margin-left       : -0.5em;
  border-radius     : 5px;
}
#toc a.current-section {
  color: #ff0;
  background: #833;
  border-radius: 5px;
  padding: 0.3em 0.5em;
}
.current-marker {
  display: inline-block;
  margin-right: 0.3em;
  font-size: 1em;
  animation: fadeIn 0.3s ease-in t;
}
@keyframes fadeIn {
  from {
    opacity: 0;
    transform: scale(0.5);
  }
  to {
    opacity: 0.8;
    transform: scale(1);
  }
}
#toc::-webkit-scrollbar {
  width: 8px;
}
#toc::-webkit-scrollbar-track {
  background: #0a1220;
}
#toc::-webkit-scrollbar-thumb {
  background: #567;
  border-radius: 4px;
}
#toc::-webkit-scrollbar-thumb:hover {
  background: #789;
}
#content::-webkit-scrollbar {
  width: 10px;
}
#content::-webkit-scrollbar-track {
  background: #081018;
}
#content::-webkit-scrollbar-thumb {
  background: #567;
  border-radius: 5px;
}
#content::-webkit-scrollbar-thumb:hover {
  background: #789;
}
section {
  page-break-before: auto;
}
.chapter-nav-hint {
  position: fixed;
  bottom: 20px;
  right: 20px;
  background: rgba(16, 32, 48, 0.9);
  color: #8cf;
  padding: 0.5em 1em;
  border-radius: 5px;
  border: 1px solid #567;
  font-size: 0.85em;
  opacity: 0;
  transition: opacity 0.3s ease;
  pointer-events: none;
}
.chapter-nav-hint.show {
  opacity: 1;
}
.chapter-nav-button {
  position: fixed;
  right: -60px;
  width: 170px;
  transform: translateX(-50%);
  background: rgba(24, 48, 96, 0.95);
  color: #aef;
  border: 2px solid #567;
  padding: 0.75em 1.5em;
  border-radius: 5px;
  cursor: pointer;
  font-size: 0.9em;
  font-family: arial, sans-serif;
  opacity: 0;
  visibility: hidden;
  transition: opacity 0.5s ease, visibility 0.5s ease;
  z-index: 100;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.5);
}
.chapter-nav-button.prev {
  top: 20px;
}
.chapter-nav-button.next {
  bottom: 20px;
}
.chapter-nav-button.visible {
  opacity: 1;
  visibility: visible;
}
@media (max-width: 1024px) {
  #toc {
    width: 250px;
  }
}
@media (max-width: 768px) {
  body {
    flex-direction: column !important;
    height: 100svh !important;
  }
  #toc {
    width: 100% !important;
    height: 30svh !important;
    border-right: none !important;
    border-bottom: 2px solid #567;
  }
  .toc-resize-handle, .toc-resize-handle:hover {
    visibility: hidden !important;
  }
  #home {
    left : unset !important;
    right: 10px !important;
  }
  #home:hover {
    right: 12px !important;
  }
  #content {
    height:69svh !important;
    margin-top: 5px !important;
  }
  .hilite2ai-notice {
    display: none !important;
  }
  /* Fix navigation buttons for mobile */
  
  .chapter-nav-button.prev {
    left: 50% !important;
    right: auto !important;
    top: 32svh;
  }
  .chapter-nav-button.next {
    left: 50% !important;
    right: auto !important;
    bottom: 10px;
  }
}
.small {
  font-style: italic;
  font-size: 10pt;
}
body {
  transform: scaleX(0);
  transform-origin: center center;
  transition: transform 0.6s cubic-bezier(0.4, 0, 0.2, 1);
  overflow: hidden;
}
body.page-ready {
  transform: scaleX(1);
  overflow: visible;
}
body.page-closing {
  transform: scaleX(0);
  overflow: hidden;
}
body.page-closing {
  opacity: 0.8;
}
body.page-closing *,
body:not(.page-ready) * {
  pointer-events: none;
}
.copy-button, .model-button {
  position      : absolute;
  top           : 5px;
  height        : 22px;
  min-width     : 32px;
  line-height   : .9em;
  font-size     : 14px;
  background    : #333;
  color         : #fff;
  border        : 1px solid #585;
  border-radius : 4px;
  cursor        : pointer;
  transition    : background 0.25s;
}
.model-menu {
  position      : absolute;
  top           : 30px;
  right         : 5px;
  background    : #232;
  border        : 1px solid #585;
  border-radius : 4px;
  padding       : 5px;
  display       : none;
  flex-direction: column;
  gap           : 3px;
}
.model-ais {
  background    : #343;
  color         : #fff;
  border        : 1px solid #474;
  border-radius : 3px;
  padding       : 4px 8px;
  cursor        : pointer;
  font-size     : 10px;
  white-space   : nowrap;
}