MediaWiki:Gadget-DotsSyntaxHighlighter.js:修订间差异

无编辑摘要
imported>=海豚=
无编辑摘要
imported>=海豚=
无编辑摘要
第600行: 第600行:
      wpTextbox0.lang              = wpTextbox1.lang; //lang determines which font "monospace" is
      wpTextbox0.lang              = wpTextbox1.lang; //lang determines which font "monospace" is
      wpTextbox0.style.backgroundColor     = syntaxHighlighterConfig.backgroundColor;
      wpTextbox0.style.backgroundColor     = syntaxHighlighterConfig.backgroundColor;
     wpTextbox0.style.border          = "1px solid transparent";
      wpTextbox0.style.boxSizing        = "border-box";
      wpTextbox0.style.boxSizing        = "border-box";
      wpTextbox0.style.clear          = wpTextbox1Style.clear;
      wpTextbox0.style.clear          = wpTextbox1Style.clear;
第620行: 第619行:


      wpTextbox1.style.backgroundColor     = "transparent";
      wpTextbox1.style.backgroundColor     = "transparent";
     wpTextbox1.style.border          = "1px solid transparent";
      wpTextbox1.style.boxSizing        = "border-box";
      wpTextbox1.style.boxSizing        = "border-box";
      wpTextbox1.style.clear          = wpTextbox1Style.clear;
      wpTextbox1.style.clear          = wpTextbox1Style.clear;
匿名用户