Wed, 31 Dec 2014 06:55:50 +0100
Added tag UPSTREAM_283F7C6 for changeset ca08bd8f51b2
michael@0 | 1 | // The appearance of XUL elements is platform-specific, so we set the |
michael@0 | 2 | // style of the root element according to the platform, so that the |
michael@0 | 3 | // CSS code inside input.css can select the correct styles for each |
michael@0 | 4 | // platform. |
michael@0 | 5 | |
michael@0 | 6 | var id; |
michael@0 | 7 | var ua = navigator.userAgent; |
michael@0 | 8 | |
michael@0 | 9 | if (/Windows/.test(ua)) { |
michael@0 | 10 | id = "win"; |
michael@0 | 11 | if (/NT 5\.1/.test(ua) || /NT 5\.2; Win64/.test(ua)) |
michael@0 | 12 | var classname = "winxp"; |
michael@0 | 13 | } |
michael@0 | 14 | else if (/Linux/.test(ua)) |
michael@0 | 15 | id = "linux"; |
michael@0 | 16 | else if (/SunOS/.test(ua)) |
michael@0 | 17 | id = "linux"; |
michael@0 | 18 | else if (/Mac OS X/.test(ua)) |
michael@0 | 19 | id = "mac"; |
michael@0 | 20 | |
michael@0 | 21 | if (id) |
michael@0 | 22 | document.documentElement.setAttribute("id", id); |
michael@0 | 23 | else |
michael@0 | 24 | document.documentElement.appendChild( |
michael@0 | 25 | document.createTextNode("Unrecognized platform") |
michael@0 | 26 | ); |
michael@0 | 27 | if (classname) |
michael@0 | 28 | document.documentElement.setAttribute("class", classname); |