<?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 = ["en-US","fr-FR","it-IT","ja-JP","ko-KR","pt-BR","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
	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>
