/* Increase editor syntax highlighter timeout to 75 ms for use on long articles. Default is 50 ms. This can make the editor response seem a bit sluggish when editing long articles, but syntax highlighting is valuable enough to put up with it. If this page is edited, clear the browser cache and reload Wikipedia pages in order for changes to take effect. See mw:User:Remember the dot/Syntax highlighter (https://www.mediawiki.org/wiki/User:Remember_the_dot/Syntax_highlighter#Customizing) */
//syntax highlighter
//mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');
syntaxHighlighterConfig = {
timeout: 75,
wikilinkColor: "#D8ECFF", //darker cyan, like "Show changes" page
externalLinkColor: "#B2FBB2", //pale green
tagColor: "#FFD9FF", //pink
}