/* Widen mdBook content: override the default --content-max-width (750px) */
:root {
    --content-max-width: 1100px;
}

/* RIDL syntax: keywords bold, title/attr/symbol/type distinct colors */
pre code.language-ridl .hljs-comment {
    color: #6a737d;
    font-style: italic;
}
pre code.language-ridl .hljs-keyword {
    font-weight: bold;
}
pre code.language-ridl .hljs-title {
    color: #0030f2;
    font-weight: 600;
}
pre code.language-ridl .hljs-attr {
    color: #0d7377;
}
pre code.language-ridl .hljs-symbol {
    color: #6b4e9e;
}
pre code.language-ridl .hljs-type,
pre code.language-ridl .hljs-variable {
    color: #0d7377;
}
pre code.language-ridl .hljs-built_in {
    color: #b21e00;
}