.post-body pre > code[data-language]{font-size:1em}
.post-body .hljs-keyword,.post-body .hljs-selector-tag,.post-body .hljs-doctag{color:#c084fc;font-weight:600}
.post-body .hljs-string,.post-body .hljs-regexp,.post-body .hljs-addition{color:#86efac}
.post-body .hljs-number,.post-body .hljs-literal,.post-body .hljs-deletion{color:#fda4af}
.post-body .hljs-title,.post-body .hljs-attr,.post-body .hljs-built_in{color:#93c5fd}
.post-body .hljs-comment,.post-body .hljs-quote{color:#b4bed2}
.post-body pre:has(> code[data-language]){background:#111827;color:#f3f4f6}
.post-body pre.mermaid{
 --diagram-node:#ffffff;
 --diagram-border:#8294aa;
 background:var(--paper);
 border:1px solid var(--line);
 color:var(--ink);
 padding:20px;
 overflow-x:auto;
}
@media screen{
 html[data-theme=dark] .post-body pre.mermaid{
  --diagram-node:#233145;
  --diagram-border:#7588a2;
 }
}
.post-body pre.mermaid svg{
 display:block;
 height:auto;
 margin-inline:auto;
}
@media(max-width:700px){
 .post-body pre.mermaid{padding:14px}
}
.post-body .historical-diagram,.post-body .historical-code{margin-block:1.5rem}