/* Subway Seat — generated from palette.py by build.py. Edit the palette, not this file. */
/* Subway Seat for highlight.js */

pre code.hljs { display: block; overflow-x: auto; padding: 1em; }
code.hljs { padding: 3px 5px; }
.hljs-addition, .hljs-deletion { display: inline-block; width: 100%; } /* diff lines as full-width bands */

.hljs { color: #EDDCBC; background: #362619; }
.hljs::selection, .hljs ::selection { color: #F8ECD4; background: #634932; }

.hljs-comment { color: #967B5C; font-style: italic; }
.hljs-quote { color: #C4AE8C; font-style: italic; }
.hljs-doctag, .hljs-meta, .hljs-meta .hljs-keyword { color: #F4A87E; font-style: italic; }
.hljs-meta .hljs-string { color: #ADB956; }
.hljs-keyword, .hljs-template-tag { color: #EC7F31; }
.hljs-operator { color: #AE9575; }
.hljs-punctuation, .hljs-tag { color: #AE9575; }
.hljs-title, .hljs-title.function_, .hljs-title.function_.invoke__, .hljs-attr { color: #F3BF45; }
.hljs-built_in { color: #F3BF45; font-style: italic; }
.hljs-string, .hljs-code { color: #ADB956; }
.hljs-char.escape_ { color: #F4A87E; }
.hljs-regexp { color: #F4A87E; }
.hljs-number { color: #FF8373; }
.hljs-literal, .hljs-symbol, .hljs-variable.constant_, .hljs-formula { color: #FF8373; }
.hljs-title.class_, .hljs-title.class_.inherited__ { color: #86AD95; }
.hljs-type { color: #86AD95; font-style: italic; }
.hljs-variable, .hljs-template-variable, .hljs-subst { color: #EDDCBC; }
.hljs-variable.language_ { color: #FF8373; font-style: italic; }
.hljs-params { color: #D9C6A3; font-style: italic; }
.hljs-property, .hljs-attribute { color: #D9C6A3; }
.hljs-name, .hljs-selector-tag { color: #EC7F31; }
.hljs-selector-id, .hljs-selector-class, .hljs-selector-attr, .hljs-selector-pseudo { color: #F3BF45; font-style: italic; }
.hljs-section { color: #F3BF45; font-weight: bold; }
.hljs-bullet { color: #EC7F31; }
.hljs-emphasis { color: #EDDCBC; font-style: italic; }
.hljs-strong { color: #F8ECD4; font-weight: bold; }
.hljs-link { color: #7F9BAE; text-decoration: underline; }

/* Diffs: a diff line is one token, so it takes green or red_hi on its tint.
   highlight.js marks hunk headers as meta and file headers as comments. */
.hljs-addition { color: #ADB956; background: #3F3A1E; }
.hljs-deletion { color: #FF8373; background: #52281C; }
.language-diff .hljs-meta { color: #7F9BAE; font-style: normal; }
.language-diff .hljs-comment { color: #F8ECD4; font-style: normal; font-weight: bold; }