Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
49 lines (46 sloc) 1.99 KB
<!DOCTYPE html>
<title>{{section}} Guide</title>
<link type="image/x-icon" rel="icon" href="/favicon.ico" />
<link type="image/x-icon" rel="shortcut icon" href="/favicon.ico" />
<link rel="stylesheet" href="assets/style.css" type="text/css" media="all" />
<link rel="stylesheet" href="assets/sh.css" type="text/css" media="all"/>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-24042140-1']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
<div id="container">
<h1> Documentation &amp; API</h1>
<div id="gtoc">
<p><a href=""></a> | <a href="index.html">Guide Home</a> | <a href="all.html">View on single page</a></p>
<hr />
<hr />
<div id="gtoc">
<p><a href="">Transitive Homepage</a> | <a href="index.html">Guide TOC</a> | <a href="all.html">Single Page</a></p>
For help, please ask the <a href="">mailing list</a>.
For bugs, please use <a href="">Github Issues</a>.
<div id="disqus_thread"></div>
<script type="text/javascript">
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = '';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
Something went wrong with that request. Please try again.