|
| 1 | +<!DOCTYPE html> |
| 2 | +<html lang="en"> |
| 3 | + <head> |
| 4 | + <meta charset="utf-8"> |
| 5 | + <!-- |
| 6 | + The {page-title} parameters will be replaced with the |
| 7 | + document title extracted from the <h1> element or |
| 8 | + file name, if there is no <h1> heading |
| 9 | + --> |
| 10 | + <title>{{page-title}}</title> |
| 11 | + <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
| 12 | + |
| 13 | + <meta name="author" content="{{authors}}"> |
| 14 | + |
| 15 | + <script src="https://code.jquery.com/jquery-1.8.0.js"></script> |
| 16 | + <script src="https://code.jquery.com/ui/1.8.23/jquery-ui.js"></script> |
| 17 | + <script src="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/js/bootstrap.min.js"></script> |
| 18 | + <script type="text/javascript" async src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> |
| 19 | + <link href="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css" rel="stylesheet"> |
| 20 | + |
| 21 | + <link type="text/css" rel="stylesheet" href="{{root}}/content/style.css" /> |
| 22 | + <script src="{{root}}/content/tips.js" type="text/javascript"></script> |
| 23 | + |
| 24 | + <!-- BEGIN SEARCH BOX: this adds support for the search box --> |
| 25 | + <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/JavaScript-autoComplete/1.0.4/auto-complete.css" /> |
| 26 | + <!-- END SEARCH BOX: this adds support for the search box --> |
| 27 | + </head> |
| 28 | + <body> |
| 29 | + <div class="container"> |
| 30 | + <div class="masthead"> |
| 31 | + <ul class="nav nav-pills pull-right"> |
| 32 | + <li><a href="https://fsharp.org">fsharp.org</a></li> |
| 33 | + </ul> |
| 34 | + <h3 class="muted">{{project-name}}</h3> |
| 35 | + </div> |
| 36 | + <hr /> |
| 37 | + <div class="row"> |
| 38 | + <div class="span9" id="main"> |
| 39 | + {{document}} |
| 40 | + {{tooltips}} |
| 41 | + </div> |
| 42 | + <div class="span3"> |
| 43 | + <a href="index.html"><img src="{{root}}/img/logo.png" style="width:140px;height:140px;margin:10px 0px 0px 20px;border-style:none;"/></a> |
| 44 | + |
| 45 | + <!-- BEGIN SEARCH BOX: this adds support for the search box --> |
| 46 | + <div id="header"> |
| 47 | + <div class="searchbox"> |
| 48 | + <label for="search-by"> |
| 49 | + <i class="fas fa-search"></i> |
| 50 | + </label> |
| 51 | + <input data-search-input="" id="search-by" type="search" placeholder="Search..." /> |
| 52 | + <span data-search-clear=""> |
| 53 | + <i class="fas fa-times"></i> |
| 54 | + </span> |
| 55 | + </div> |
| 56 | + </div> |
| 57 | + <!-- END SEARCH BOX: this adds support for the search box --> |
| 58 | + |
| 59 | + <ul class="nav nav-list" id="menu"> |
| 60 | + <li class="nav-header">{{project-name}}</li> |
| 61 | + <li class="divider"></li> |
| 62 | + <li><a href="{{root}}/index.html">Home Page</a></li> |
| 63 | + <li><a href="https://github.com/fsprojects/FSharp.Control.AsyncSeq/">GitHub Page</a></li> |
| 64 | + |
| 65 | + <li class="nav-header">Getting Started</li> |
| 66 | + <li class="divider"></li> |
| 67 | + <li><a href="{{root}}/terminology.html">Terminology</a></li> |
| 68 | + <li><a href="{{root}}/AsyncSeq.html">AsyncSeq</a></li> |
| 69 | + <li><a href="{{root}}/AsyncSeqExamples.html">AsyncSeq Examples</a></li> |
| 70 | + <li><a href="{{root}}/reference/index.html">API Reference</a></li> |
| 71 | + </ul> |
| 72 | + </div> |
| 73 | + </div> |
| 74 | + </div> |
| 75 | + <!-- BEGIN SEARCH BOX: this adds support for the search box --> |
| 76 | + <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/JavaScript-autoComplete/1.0.4/auto-complete.css" /> |
| 77 | + <script type="text/javascript">var baseurl = '{{root}}'</script> |
| 78 | + <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.8/lunr.min.js"></script> |
| 79 | + <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/JavaScript-autoComplete/1.0.4/auto-complete.min.js"></script> |
| 80 | + <script type="text/javascript" src="{{root}}/content/search.js"></script> |
| 81 | + <!-- END SEARCH BOX: this adds support for the search box --> |
| 82 | + </body> |
| 83 | +</html> |
| 84 | + |
| 85 | + |
0 commit comments