/* This file is dedicated to the public domain; you may do as you wish with it. */ /* Adds a checkbox in the General options tab to disable and enable board style sheets. */ var disableStyleSheet = function () { var disableStyles = localStorage['disablestylesheet'] ? true : false; var i = 0 while(i' + ' Disable board specific style sheets' + '') $(element).find('input').prop('checked', disableStyles) } $(element).on(event, function() { if(disableStyles) { delete localStorage.disablestylesheet; } else { localStorage.disablestylesheet = true; } disableStyles =! disableStyles; document.styleSheets[sheet].disabled = disableStyles; }) } $(document).ready(disableStyleSheet());