语法高亮，滚动条美化，设置页面调整

docs/javascript/Reference/Global_Objects/Date/toGMTString.html

@@ -5,15 +5,15 @@
 <p>The <code><strong>toGMTString()</strong></code> method converts a date to a string, using Internet GMT conventions. The exact format of the value returned by <code>toGMTString</code> varies according to the platform and browser, in general it should represent a human readable date string.</p>
 <p><strong>Note</strong>: <code>toGMTString</code> is deprecated and should no longer be used, it's only there for backwards compatibility, use <a href="Reference/Global_Objects/Date/toUTCString" title="toUTCString() 方法把一个日期转换为一个字符串，使用UTC时区。"><code>toUTCString()</code></a> instead.</p>
 <h2 id="Syntax" name="Syntax">Syntax</h2>
-<pre class="syntaxbox"><var>dateObj</var>.toGMTString()</pre>
+<pre><code class="language-javascript"><var>dateObj</var>.toGMTString()</code></pre>
 <h2 id="Examples" name="Examples">Examples</h2>
 <h3 id="Example:_Using_toGMTString" name="Example:_Using_toGMTString">Example: Using <code>toGMTString</code></h3>
 <p>In this example, the <code>toGMTString</code> method converts the date to GMT (UTC) using the operating system's time-zone offset and returns a string value that is similar to the following form. The exact format depends on the platform.</p>
-<pre class="brush: js">var today = new Date();
+<pre><code  class="language-javascript">var today = new Date();
 var str = today.toGMTString();  // deprecated! use toUTCString()
 
 console.log(str);               // Mon, 18 Dec 1995 17:28:35 GMT
-</pre>
+</code></pre>
 <h2 id="Specifications">Specifications</h2>
 <table class="standard-table">
 <tbody>