1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Documentation</title>
<link rel="stylesheet" href="interactive.css" type="text/css" />
</head>
<body class="nojs">
<h1>Documentation</h1>
<script type="text/javascript">
var lang = "";
if(window.navigator.userLanguage)
lang = window.navigator.userLanguage;
else
lang = window.navigator.language;
var match = 0;
var locales = ["as-IN", "bn-IN", "de-DE", "es-ES", "fr-FR", "gu-IN", "hi-IN", "it-IT", "ja-JP", "kn-IN", "ko-KR", "ml-IN", "mr-IN", "or-IN", "pa-IN", "pt-BR", "ru-RU", "si-LK", "ta-IN", "te-IN", "zh-CN", "zh-TW"];
if(lang) {
// Try for full match of lang_LOC
for(locale in locales) {
if(lang == locales[locale]) {
match = 1;
break;
}
}
// Else try for match of lang
if(match == 0) {
for(locale in locales) {
var loc_lang = locales[locale].substring(0,2);
var language = lang.substring(0,2);
if(loc_lang == language) {
lang = locales[locale];
match = 1;
break;
}
}
}
}
// Else default to en-US
if(match == 0) {
lang = 'en-US';
}
window.location = lang + "/index.html";
</script>
<noscript>
<p>
This web site requires JavaScript and cookies to be enabled to function correctly.
</p>
<p>
<a href="toc.html">Click here to view a static Table of Contents</a>
</p>
</noscript>
</body>
</html>
|
