/* CARBON / DRACULA THEME OVERRIDE */

/* 1. The "Window" Background - Deep Blue-Black */
pre.highlight {
  background-color: #0f111a !important; /* Deep Midnight */
  border: 1px solid #1f2233;
  color: #f8f8f2; /* Default text white */
  padding: 50px 20px 20px 20px; /* Space for traffic lights */
  border-radius: 8px;
  box-shadow: 0 10px 30px rgba(0,0,0,0.5); /* Strong drop shadow */
  position: relative;
  overflow: auto;
}

/* 2. The Traffic Lights (Red/Yellow/Green Dots) */
pre.highlight::before {
  content: " ";
  position: absolute;
  top: 15px;
  left: 15px;
  width: 12px;
  height: 12px;
  background: #ff5f56; /* Red */
  border-radius: 50%;
  box-shadow: 20px 0 0 #ffbd2e, 40px 0 0 #27c93f; /* Yellow & Green clones */
  z-index: 10;
}

/* 3. Line Numbers Styling */
.lineno {
  color: #44475a; /* Subtle purple-grey */
  padding-right: 15px;
  margin-right: 10px;
  border-right: 1px solid #44475a;
  user-select: none; /* Don't let user select numbers when copying code */
  text-align: right;
  min-width: 30px;
  display: inline-block;
}

/* 4. Syntax Colors (Dracula Neon) */
.highlight .c  { color: #6272a4; font-style: italic; } /* Comment */
.highlight .err { color: #f8f8f2; background-color: #ff5555; } /* Error */
.highlight .k  { color: #ff79c6; font-weight: bold; } /* Keyword (Pink) */
.highlight .o  { color: #ff79c6; } /* Operator */
.highlight .cm { color: #6272a4; } /* Comment.Multiline */
.highlight .cp { color: #ff79c6; } /* Comment.Preproc */
.highlight .c1 { color: #6272a4; } /* Comment.Single */
.highlight .cs { color: #6272a4; } /* Comment.Special */
.highlight .gd { color: #8b080b; } /* Generic.Deleted */
.highlight .ge { font-style: italic; } /* Generic.Emph */
.highlight .gr { color: #ff5555; } /* Generic.Error */
.highlight .gh { color: #f8f8f2; font-weight: bold; } /* Generic.Heading */
.highlight .gi { color: #50fa7b; } /* Generic.Inserted */
.highlight .go { color: #44475a; } /* Generic.Output */
.highlight .gp { color: #f8f8f2; } /* Generic.Prompt */
.highlight .gs { font-weight: bold; } /* Generic.Strong */
.highlight .gu { color: #f8f8f2; font-weight: bold; } /* Generic.Subheading */
.highlight .gt { color: #f8f8f2; } /* Generic.Traceback */
.highlight .kc { color: #ff79c6; } /* Keyword.Constant */
.highlight .kd { color: #8be9fd; font-style: italic; } /* Keyword.Declaration (Cyan) */
.highlight .kn { color: #ff79c6; } /* Keyword.Namespace */
.highlight .kp { color: #ff79c6; } /* Keyword.Pseudo */
.highlight .kr { color: #ff79c6; } /* Keyword.Reserved */
.highlight .kt { color: #8be9fd; } /* Keyword.Type */
.highlight .ld { color: #f8f8f2; } /* Literal.Date */
.highlight .m  { color: #bd93f9; } /* Literal.Number (Purple) */
.highlight .s  { color: #f1fa8c; } /* Literal.String (Yellow) */
.highlight .na { color: #50fa7b; } /* Name.Attribute */
.highlight .nb { color: #8be9fd; font-style: italic; } /* Name.Builtin */
.highlight .nc { color: #50fa7b; } /* Name.Class */
.highlight .no { color: #f8f8f2; } /* Name.Constant */
.highlight .nd { color: #f8f8f2; } /* Name.Decorator */
.highlight .ni { color: #f8f8f2; } /* Name.Entity */
.highlight .ne { color: #f8f8f2; } /* Name.Exception */
.highlight .nf { color: #50fa7b; } /* Name.Function (Green) */
.highlight .nl { color: #f8f8f2; } /* Name.Label */
.highlight .nn { color: #f8f8f2; } /* Name.Namespace */
.highlight .nx { color: #f8f8f2; } /* Name.Other */
.highlight .py { color: #f8f8f2; } /* Name.Property */
.highlight .nt { color: #ff79c6; } /* Name.Tag */
.highlight .nv { color: #8be9fd; font-style: italic; } /* Name.Variable */
.highlight .ow { color: #ff79c6; } /* Operator.Word */
.highlight .w  { color: #f8f8f2; } /* Text.Whitespace */
.highlight .mf { color: #bd93f9; } /* Literal.Number.Float */
.highlight .mh { color: #bd93f9; } /* Literal.Number.Hex */
.highlight .mi { color: #bd93f9; } /* Literal.Number.Integer */
.highlight .mo { color: #bd93f9; } /* Literal.Number.Oct */
.highlight .sb { color: #f1fa8c; } /* Literal.String.Backtick */
.highlight .sc { color: #f1fa8c; } /* Literal.String.Char */
.highlight .sd { color: #6272a4; } /* Literal.String.Doc */
.highlight .s2 { color: #f1fa8c; } /* Literal.String.Double */
.highlight .se { color: #bd93f9; } /* Literal.String.Escape */
.highlight .sh { color: #f1fa8c; } /* Literal.String.Heredoc */
.highlight .si { color: #f1fa8c; } /* Literal.String.Interpol */
.highlight .sx { color: #f1fa8c; } /* Literal.String.Other */
.highlight .sr { color: #f1fa8c; } /* Literal.String.Regex */
.highlight .s1 { color: #f1fa8c; } /* Literal.String.Single */
.highlight .ss { color: #bd93f9; } /* Literal.String.Symbol */
.highlight .bp { color: #f8f8f2; } /* Name.Builtin.Pseudo */
.highlight .vc { color: #8be9fd; font-style: italic; } /* Name.Variable.Class */
.highlight .vg { color: #8be9fd; font-style: italic; } /* Name.Variable.Global */
.highlight .vi { color: #8be9fd; font-style: italic; } /* Name.Variable.Instance */
.highlight .il { color: #bd93f9; } /* Literal.Number.Integer.Long */