schtobia/flex
1
0
Fork 0
Code Issues Pull requests Activity

Default to monokai in dark theme and fixed defaulting mechanism in the JS

Browse source
This commit is contained in:
Sumner Evans 2020-04-14 22:04:05 -06:00
parent 927306ddb9
commit 0d56e19d6a
No known key found for this signature in database
GPG key ID: 8904527AB50022FD
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
templates/partial/flex.html
View file

@ -25,8 +25,8 @@
// Find the pygments CSS files (there are two, one for each theme) and
// change them both to the theme specified by the user.
const pygmentsTheme = theme === 'light'
? '{{ PYGMENTS_STYLE }}'
: '{{ PYGMENTS_STYLE_DARK or PYGMENTS_STYLE }}'
? '{{ PYGMENTS_STYLE|default('github') }}'
: '{{ PYGMENTS_STYLE_DARK|default('monokai') }}'
Array.from(document.head.getElementsByTagName('link')).forEach(linkEl => {
if (linkEl.href.match(/\/theme\/pygments\/.*\.min\.css/)) {
linkEl.href = `/theme/pygments/${pygmentsTheme}.min.css`;