/* Minimal code styling (local, no CDN) */
pre code {
  display: block;
  white-space: pre;
  overflow-x: auto;
  padding: 12px 12px;
  border-radius: 14px;
  background: rgba(11,18,32,.92);
  border: 1px solid rgba(255,255,255,.10);
  color: #e5e7ff;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  font-size: .86rem;
  line-height: 1.35;
}

/* token colors */
.code-k { color: #93c5fd; font-weight: 700; }  /* keywords */
.code-s { color: #a7f3d0; }                    /* strings */
.code-c { color: #94a3b8; font-style: italic; }/* comments */
.code-n { color: #fbbf24; }                    /* numbers */
.code-v { color: #fda4af; font-weight: 700; }  /* variables ($x) */
.code-t { color: #c7d2fe; }                    /* types-ish */
.code-o { color: #e5e7ff; }                    /* default */
/* --- TechDoc (BBCode/HTML) container safety --- */
#techDocMount.techdoc, #techDocMount .techdoc{
  overflow-wrap:anywhere;
  word-break:break-word;
  max-width:100%;
}
#techDocMount.techdoc h3, #techDocMount.techdoc h4{
  margin:14px 0 8px;
}
#techDocMount.techdoc p{
  margin:10px 0;
}
#techDocMount.techdoc ul{
  margin:8px 0 12px 18px;
  padding:0;
}
#techDocMount.techdoc li{
  margin:6px 0;
}