File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -199,3 +199,7 @@ artifacts/
199199# jest/fable directories
200200tests /fable /dist /
201201tests /fable /node_modules /
202+ output /
203+ tmp /
204+ .fsdocs /
205+ build.fsx.lock
Original file line number Diff line number Diff line change 1818 < script type ="text/javascript " async src ="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML "> </ script >
1919 < link href ="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css " rel ="stylesheet ">
2020
21- < link type ="text/css " rel ="stylesheet " href ="{{root}}/content/style.css " />
22- < script src ="{{root}}/content/tips.js " type ="text/javascript "> </ script >
21+ < link type ="text/css " rel ="stylesheet " href ="{{root}}/content/fsdocs- style.css " />
22+ < script src ="{{root}}/content/fsdocs- tips.js " type ="text/javascript "> </ script >
2323
2424 <!-- BEGIN SEARCH BOX: this adds support for the search box -->
2525 < link rel ="stylesheet " href ="https://cdnjs.cloudflare.com/ajax/libs/JavaScript-autoComplete/1.0.4/auto-complete.css " />
@@ -74,10 +74,10 @@ <h3 class="muted">{{project-name}}</h3>
7474 </ div >
7575 <!-- BEGIN SEARCH BOX: this adds support for the search box -->
7676 < 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 >
77+ < script type ="text/javascript "> var fsdocs_search_baseurl = '{{root}}' </ script >
7878 < script type ="text/javascript " src ="https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.8/lunr.min.js "> </ script >
7979 < 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 >
80+ < script type ="text/javascript " src ="{{root}}/content/fsdocs- search.js "> </ script >
8181 <!-- END SEARCH BOX: this adds support for the search box -->
8282 </ body >
8383</ html >
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments