diff options
Diffstat (limited to 'templates/main.js')
| -rwxr-xr-x[-rw-r--r--] | templates/main.js | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/templates/main.js b/templates/main.js index c2a6f6c0..af665987 100644..100755 --- a/templates/main.js +++ b/templates/main.js @@ -115,6 +115,11 @@ var styles = { {% for stylesheet in stylesheets %}{% raw %}'{% endraw %}{{ stylesheet.name|addslashes }}{% raw %}' : '{% endraw %}{{ stylesheet.uri|addslashes }}{% raw %}', {% endraw %}{% endfor %}{% raw %} }; +var codestyles = { + {% endraw %} + {% for stylesheet in code_stylesheets %}{% raw %}'{% endraw %}{{ stylesheet.name|addslashes }}{% raw %}' : '{% endraw %}{{ stylesheet.uri|addslashes }}{% raw %}', + {% endraw %}{% endfor %}{% raw %} +}; if (typeof board_name === 'undefined') { var board_name = false; @@ -132,6 +137,7 @@ function changeStyle(styleName, link) { {% endif %} {% raw %} + // Main stylesheet if (!document.getElementById('stylesheet')) { var s = document.createElement('link'); s.rel = 'stylesheet'; @@ -140,9 +146,21 @@ function changeStyle(styleName, link) { var x = document.getElementsByTagName('head')[0]; x.appendChild(s); } - + document.getElementById('stylesheet').href = styles[styleName]; - selectedstyle = styleName; + selectedstyle = styleName; + + // Code stylesheet + if (!document.getElementById('code_stylesheet')) { + var s = document.createElement('link'); + s.rel = 'stylesheet'; + s.type = 'text/css'; + s.id = 'code_stylesheet'; + var x = document.getElementsByTagName('head')[0]; + x.appendChild(s); + } + + document.getElementById('code_stylesheet').href = codestyles[styleName]; if (document.getElementsByClassName('styles').length != 0) { var styleLinks = document.getElementsByClassName('styles')[0].childNodes; |