.tech-docs-page .katex-display {
    overflow-x: auto;
    overflow-y: hidden;
    padding: 1rem 0;
}

/* Fix for Kramdown parsing | as table cell */
/* We are replacing | with \vert in the markdown, but let's ensure MathJax style is consistent */
.MathJax {
    font-size: 1.1em !important;
}

/* Syntax Highlighting Colors - High Contrast Dark Theme */
/* Optimized for dark background */

.highlight .hll {
    background-color: #49483e
}

.highlight .c {
    color: #75715e
}

/* Comment */
.highlight .err {
    color: #960050;
    background-color: #1e0010
}

/* Error */
.highlight .k {
    color: #66d9ef
}

/* Keyword */
.highlight .l {
    color: #ae81ff
}

/* Literal */
.highlight .n {
    color: #f8f8f2
}

/* Name */
.highlight .o {
    color: #f92672
}

/* Operator */
.highlight .p {
    color: #f8f8f2
}

/* Punctuation */
.highlight .cm {
    color: #75715e
}

/* Comment.Multiline */
.highlight .cp {
    color: #75715e
}

/* Comment.Preproc */
.highlight .c1 {
    color: #75715e
}

/* Comment.Single */
.highlight .cs {
    color: #75715e
}

/* Comment.Special */
.highlight .gd {
    color: #f92672
}

/* Generic.Deleted */
.highlight .ge {
    font-style: italic
}

/* Generic.Emph */
.highlight .gh {
    color: #f8f8f2;
    font-weight: bold
}

/* Generic.Heading */
.highlight .gi {
    color: #a6e22e
}

/* Generic.Inserted */
.highlight .gs {
    font-weight: bold
}

/* Generic.Strong */
.highlight .gu {
    color: #959077
}

/* Generic.Subheading */
.highlight .kc {
    color: #66d9ef
}

/* Keyword.Constant */
.highlight .kd {
    color: #66d9ef
}

/* Keyword.Declaration */
.highlight .kn {
    color: #f92672
}

/* Keyword.Namespace (import) */
.highlight .kp {
    color: #66d9ef
}

/* Keyword.Pseudo */
.highlight .kr {
    color: #66d9ef
}

/* Keyword.Reserved */
.highlight .kt {
    color: #66d9ef
}

/* Keyword.Type */
.highlight .ld {
    color: #e6db74
}

/* Literal.Date */
.highlight .m {
    color: #ae81ff
}

/* Literal.Number */
.highlight .s {
    color: #e6db74
}

/* Literal.String */
.highlight .na {
    color: #a6e22e
}

/* Name.Attribute */
.highlight .nb {
    color: #f8f8f2
}

/* Name.Builtin */
.highlight .nc {
    color: #a6e22e
}

/* Name.Class */
.highlight .no {
    color: #66d9ef
}

/* Name.Constant */
.highlight .nd {
    color: #a6e22e
}

/* Name.Decorator */
.highlight .ni {
    color: #f8f8f2
}

/* Name.Entity */
.highlight .ne {
    color: #a6e22e
}

/* Name.Exception */
.highlight .nf {
    color: #a6e22e
}

/* Name.Function */
.highlight .nl {
    color: #f8f8f2
}

/* Name.Label */
.highlight .nn {
    color: #f8f8f2
}

/* Name.Namespace */
.highlight .nx {
    color: #a6e22e
}

/* Name.Other */
.highlight .py {
    color: #f8f8f2
}

/* Name.Property */
.highlight .nt {
    color: #f92672
}

/* Name.Tag */
.highlight .nv {
    color: #f8f8f2
}

/* Name.Variable */
.highlight .ow {
    color: #f92672
}

/* Operator.Word */
.highlight .w {
    color: #f8f8f2
}

/* Text.Whitespace */
.highlight .mf {
    color: #ae81ff
}

/* Literal.Number.Float */
.highlight .mh {
    color: #ae81ff
}

/* Literal.Number.Hex */
.highlight .mi {
    color: #ae81ff
}

/* Literal.Number.Integer */
.highlight .mo {
    color: #ae81ff
}

/* Literal.Number.Oct */
.highlight .sb {
    color: #e6db74
}

/* Literal.String.Backtick */
.highlight .sc {
    color: #e6db74
}

/* Literal.String.Char */
.highlight .sd {
    color: #e6db74
}

/* Literal.String.Doc */
.highlight .s2 {
    color: #e6db74
}

/* Literal.String.Double */
.highlight .se {
    color: #ae81ff
}

/* Literal.String.Escape */
.highlight .sh {
    color: #e6db74
}

/* Literal.String.Heredoc */
.highlight .si {
    color: #e6db74
}

/* Literal.String.Interpol */
.highlight .sx {
    color: #e6db74
}

/* Literal.String.Other */
.highlight .sr {
    color: #e6db74
}

/* Literal.String.Regex */
.highlight .s1 {
    color: #e6db74
}

/* Literal.String.Single */
.highlight .ss {
    color: #e6db74
}

/* Literal.String.Symbol */
.highlight .bp {
    color: #f8f8f2
}

/* Name.Builtin.Pseudo */
.highlight .vc {
    color: #f8f8f2
}

/* Name.Variable.Class */
.highlight .vg {
    color: #f8f8f2
}

/* Name.Variable.Global */
.highlight .vi {
    color: #f8f8f2
}

/* Name.Variable.Instance */
.highlight .il {
    color: #ae81ff
}

/* Literal.Number.Integer.Long */