zeptodoctor
6 years ago
25 changed files with 15934 additions and 1289 deletions
@ -1,605 +0,0 @@
@@ -1,605 +0,0 @@
|
||||
/* |
||||
* The default CSS style for Documenter.jl generated sites |
||||
* |
||||
* Heavily inspired by the Julia Sphinx theme |
||||
* https://github.com/JuliaLang/JuliaDoc |
||||
* which extends the sphinx_rtd_theme |
||||
* https://github.com/snide/sphinx_rtd_theme |
||||
* |
||||
* Part of Documenter.jl |
||||
* https://github.com/JuliaDocs/Documenter.jl |
||||
* |
||||
* License: MIT |
||||
*/ |
||||
|
||||
/* fonts */ |
||||
body, input { |
||||
font-family: 'Lato', 'Helvetica Neue', Arial, sans-serif; |
||||
font-size: 16px; |
||||
color: #222; |
||||
text-rendering: optimizeLegibility; |
||||
} |
||||
|
||||
pre, code, kbd { |
||||
font-family: 'Roboto Mono', Monaco, courier, monospace; |
||||
font-size: 0.90em; |
||||
} |
||||
|
||||
pre code { |
||||
font-size: 1em; |
||||
} |
||||
|
||||
a { |
||||
color: #2980b9; |
||||
text-decoration: none; |
||||
} |
||||
|
||||
a:hover { |
||||
color: #3091d1; |
||||
} |
||||
|
||||
a:visited { |
||||
color: #9b59b6; |
||||
} |
||||
|
||||
body { |
||||
line-height: 1.5; |
||||
} |
||||
|
||||
h1 { |
||||
font-size: 1.75em; |
||||
} |
||||
|
||||
/* Unless the <h1> the is very first thing on the page (i.e. the second element |
||||
* in the <article>, * after the <header>, we add some additional styling to it |
||||
* to make it stand out a bit more. This way we get a reasonable fallback if CSS3 |
||||
* selectors are not supported in the browser. |
||||
*/ |
||||
article > h1:not(:nth-child(2)) { |
||||
margin: 2.5em 0 0; |
||||
padding-bottom: 0.30em; |
||||
border-bottom: 1px solid #e5e5e5; |
||||
} |
||||
h2 { |
||||
font-size: 1.50em; |
||||
margin: 2.3em 0 0; |
||||
padding-bottom: 0.25em; |
||||
border-bottom: 1px solid #e5e5e5; |
||||
} |
||||
h3 { |
||||
font-size: 1.25em; |
||||
margin: 2.0em 0 0; |
||||
} |
||||
h4 { font-size: 1.15em; } |
||||
h5 { font-size: 1.10em; } |
||||
h6 { font-size: 1em; } |
||||
|
||||
h4, h5, h6 { |
||||
margin-top: 1.5em; |
||||
margin-bottom: 1em; |
||||
} |
||||
|
||||
img { |
||||
max-width: 100%; |
||||
} |
||||
|
||||
video { |
||||
max-width: 100%; |
||||
} |
||||
|
||||
table { |
||||
border-collapse: collapse; |
||||
margin: 1em 0; |
||||
} |
||||
|
||||
th, td { |
||||
border: 1px solid #e1e4e5; |
||||
padding: 0.5em 1em; |
||||
} |
||||
|
||||
th { |
||||
border-bottom-width: 2px; |
||||
} |
||||
|
||||
tr:nth-child(even) { |
||||
background-color: #f3f6f6; |
||||
} |
||||
|
||||
hr { |
||||
border: 0; |
||||
border-top: 1px solid #e5e5e5; |
||||
} |
||||
|
||||
/* Inline code and code blocks */ |
||||
|
||||
code { |
||||
padding: 0.1em; |
||||
background-color: rgba(0,0,0,.04); |
||||
border-radius: 3px; |
||||
} |
||||
|
||||
pre { |
||||
background-color: #f5f5f5; |
||||
border: 1px solid #dddddd; |
||||
border-radius: 3px; |
||||
padding: 0.5em; |
||||
overflow: auto; |
||||
} |
||||
|
||||
pre code { |
||||
padding: 0; |
||||
background-color: initial; |
||||
} |
||||
|
||||
kbd { |
||||
font-size: 0.70em; |
||||
display: inline-block; |
||||
padding: 0.1em 0.5em 0.4em 0.5em; |
||||
line-height: 1.0em; |
||||
color: #444d56; |
||||
vertical-align: middle; |
||||
background-color: #fafbfc; |
||||
border: solid 1px #c6cbd1; |
||||
border-bottom-color: #959da5; |
||||
border-radius: 3px; |
||||
box-shadow: inset 0 -1px 0 #959da5; |
||||
} |
||||
|
||||
/* Headers in admonitions and docstrings */ |
||||
.admonition h1, |
||||
article section.docstring h1 { |
||||
font-size: 1.25em; |
||||
} |
||||
|
||||
.admonition h2, |
||||
article section.docstring h2 { |
||||
font-size: 1.10em; |
||||
} |
||||
|
||||
.admonition h3, |
||||
.admonition h4, |
||||
.admonition h5, |
||||
.admonition h6, |
||||
article section.docstring h3, |
||||
article section.docstring h4, |
||||
article section.docstring h5, |
||||
article section.docstring h6 { |
||||
font-size: 1em; |
||||
} |
||||
|
||||
/* Navigation */ |
||||
nav.toc { |
||||
position: fixed; |
||||
top: 0; |
||||
left: 0; |
||||
bottom: 0; |
||||
width: 20em; |
||||
display: flex; |
||||
flex-flow: column nowrap; |
||||
overflow-y: auto; |
||||
padding: 1em 0 0 0; |
||||
background-color: #fcfcfc; |
||||
box-shadow: inset -14px 0px 5px -12px rgb(210,210,210); |
||||
} |
||||
|
||||
nav.toc .logo { |
||||
margin: 0 auto; |
||||
display: block; |
||||
max-height: 6em; |
||||
max-width: 18em; |
||||
} |
||||
|
||||
nav.toc h1 { |
||||
text-align: center; |
||||
margin-top: .57em; |
||||
margin-bottom: 0; |
||||
} |
||||
|
||||
nav.toc select { |
||||
display: block; |
||||
height: 2em; |
||||
flex-shrink: 0; |
||||
padding: 0 1.6em 0 1em; |
||||
min-width: 7em; |
||||
max-width: 90%; |
||||
max-width: calc(100% - 5em); |
||||
margin: 0 auto; |
||||
font-size: .83em; |
||||
border: 1px solid #c9c9c9; |
||||
border-radius: 1em; |
||||
|
||||
/* TODO: doesn't seem to be centered on Safari */ |
||||
text-align: center; |
||||
text-align-last: center; |
||||
|
||||
appearance: none; |
||||
-moz-appearance: none; |
||||
-webkit-appearance: none; |
||||
|
||||
background: white url("arrow.svg"); |
||||
background-size: 1.155em; |
||||
background-repeat: no-repeat; |
||||
background-position: right; |
||||
} |
||||
|
||||
nav.toc select:hover { |
||||
border: 1px solid #a0a0a0; |
||||
} |
||||
|
||||
nav.toc select option { |
||||
text-align: center; |
||||
} |
||||
|
||||
nav.toc input { |
||||
display: block; |
||||
height: 2em; |
||||
width: 90%; |
||||
width: calc(100% - 5em); |
||||
margin: 1.2em auto; |
||||
padding: 0 1em; |
||||
border: 1px solid #c9c9c9; |
||||
border-radius: 1em; |
||||
font-size: .83em; |
||||
} |
||||
|
||||
nav.toc > ul * { |
||||
margin: 0; |
||||
} |
||||
|
||||
nav.toc > ul { |
||||
min-height: 2em; |
||||
overflow-y: auto; |
||||
margin: 0; |
||||
} |
||||
|
||||
nav.toc > ul > li:last-child { |
||||
padding-bottom: 1em; |
||||
} |
||||
|
||||
nav.toc ul { |
||||
color: #404040; |
||||
padding: 0; |
||||
list-style: none; |
||||
} |
||||
|
||||
nav.toc ul .toctext { |
||||
color: inherit; |
||||
display: block; |
||||
} |
||||
|
||||
nav.toc ul a:hover { |
||||
color: #fcfcfc; |
||||
background-color: #4e4a4a; |
||||
} |
||||
|
||||
nav.toc ul.internal a { |
||||
color: inherit; |
||||
display: block; |
||||
} |
||||
|
||||
nav.toc ul.internal a:hover { |
||||
background-color: #d6d6d6; |
||||
} |
||||
|
||||
nav.toc ul.internal { |
||||
background-color: #e3e3e3; |
||||
box-shadow: inset -14px 0px 5px -12px rgb(210,210,210); |
||||
list-style: none; |
||||
} |
||||
|
||||
nav.toc ul.internal li.toplevel { |
||||
border-top: 1px solid #909090; |
||||
font-weight: bold; |
||||
} |
||||
|
||||
nav.toc ul.internal li.toplevel:first-child { |
||||
border-top: none; |
||||
} |
||||
|
||||
nav.toc .toctext { |
||||
padding-top: 0.3em; |
||||
padding-bottom: 0.3em; |
||||
padding-right: 1em; |
||||
} |
||||
|
||||
nav.toc ul .toctext { |
||||
padding-left: 1em; |
||||
} |
||||
|
||||
nav.toc ul ul .toctext { |
||||
padding-left: 2em; |
||||
} |
||||
|
||||
nav.toc ul ul ul .toctext { |
||||
padding-left: 3em; |
||||
} |
||||
|
||||
nav.toc li.current > .toctext { |
||||
border-top: 1px solid #c9c9c9; |
||||
border-bottom: 1px solid #c9c9c9; |
||||
color: #404040; |
||||
font-weight: bold; |
||||
background-color: white; |
||||
} |
||||
|
||||
nav.toc ul::-webkit-scrollbar { |
||||
width: .4em; |
||||
background: none; |
||||
} |
||||
|
||||
nav.toc ul::-webkit-scrollbar-thumb { |
||||
border-radius: 5px; |
||||
background: #c9c9c9; |
||||
} |
||||
|
||||
nav.toc ul::-webkit-scrollbar-thumb:hover { |
||||
border-radius: 5px; |
||||
background: #aaaaaa; |
||||
} |
||||
|
||||
article { |
||||
margin-left: 20em; |
||||
min-width: 20em; |
||||
max-width: 48em; |
||||
padding: 2em; |
||||
} |
||||
|
||||
article > header {} |
||||
|
||||
article > header div#topbar { |
||||
display: none; |
||||
} |
||||
|
||||
article > header nav ul { |
||||
display: inline-block; |
||||
list-style: none; |
||||
margin: 0; |
||||
padding: 0; |
||||
} |
||||
|
||||
article > header nav li { |
||||
display: inline-block; |
||||
padding-right: 0.2em; |
||||
} |
||||
|
||||
article > header nav li:before { |
||||
content: "»"; |
||||
padding-right: 0.2em; |
||||
} |
||||
|
||||
article > header .edit-page { |
||||
float: right; |
||||
} |
||||
|
||||
article > footer {} |
||||
|
||||
article > footer a.prev { |
||||
float: left; |
||||
} |
||||
article > footer a.next { |
||||
float: right; |
||||
} |
||||
|
||||
article > footer a .direction:after { |
||||
content: ": "; |
||||
} |
||||
|
||||
article hr { |
||||
margin: 1em 0; |
||||
} |
||||
|
||||
article section.docstring { |
||||
border: 1px solid #ddd; |
||||
margin: 0.5em 0; |
||||
padding: 0.5em; |
||||
border-radius: 3px; |
||||
} |
||||
|
||||
article section.docstring .docstring-header { |
||||
margin-bottom: 1em; |
||||
} |
||||
|
||||
article section.docstring .docstring-binding { |
||||
color: #333; |
||||
font-weight: bold; |
||||
} |
||||
|
||||
article section.docstring .docstring-category { |
||||
font-style: italic; |
||||
} |
||||
|
||||
article section.docstring a.source-link { |
||||
display: block; |
||||
font-weight: bold; |
||||
} |
||||
|
||||
.nav-anchor, |
||||
.nav-anchor:hover, |
||||
.nav-anchor:visited { |
||||
color: #333; |
||||
} |
||||
|
||||
/* |
||||
* Admonitions |
||||
* |
||||
* Colors (title, body) |
||||
* warning: #f0b37e #ffedcc (orange) |
||||
* note: #6ab0de #e7f2fa (blue) |
||||
* tip: #1abc9c #dbfaf4 (green) |
||||
*/ |
||||
.admonition { |
||||
border-radius: 3px; |
||||
background-color: #eeeeee; |
||||
margin: 1em 0; |
||||
} |
||||
|
||||
.admonition-title { |
||||
border-radius: 3px 3px 0 0; |
||||
background-color: #9b9b9b; |
||||
padding: 0.15em 0.5em; |
||||
} |
||||
|
||||
.admonition-text { |
||||
padding: 0.5em; |
||||
} |
||||
|
||||
.admonition-text > :first-child { |
||||
margin-top: 0; |
||||
} |
||||
|
||||
.admonition-text > :last-child { |
||||
margin-bottom: 0; |
||||
} |
||||
|
||||
.admonition > .admonition-title:before { |
||||
font-family: "FontAwesome"; |
||||
margin-right: 5px; |
||||
content: "\f06a"; |
||||
} |
||||
|
||||
.admonition.warning > .admonition-title { |
||||
background-color: #f0b37e; |
||||
} |
||||
|
||||
.admonition.warning { |
||||
background-color: #ffedcc; |
||||
} |
||||
|
||||
.admonition.note > .admonition-title { |
||||
background-color: #6ab0de; |
||||
} |
||||
|
||||
.admonition.note { |
||||
background-color: #e7f2fa; |
||||
} |
||||
|
||||
.admonition.tip > .admonition-title { |
||||
background-color: #1abc9c; |
||||
} |
||||
|
||||
.admonition.tip { |
||||
background-color: #dbfaf4; |
||||
} |
||||
|
||||
|
||||
/* footnotes */ |
||||
.footnote { |
||||
padding-left: 0.8em; |
||||
border-left: 2px solid #ccc; |
||||
} |
||||
|
||||
/* Search page */ |
||||
#search-results .category { |
||||
font-size: smaller; |
||||
} |
||||
|
||||
/* Overriding the <code> block style of highligh.js. |
||||
* We have to override the padding and the background-color, since we style this |
||||
* part ourselves. Specifically, we style the <pre> surrounding the <code>, while |
||||
* highlight.js applies the .hljs style directly to the <code> tag. |
||||
*/ |
||||
.hljs { |
||||
background-color: transparent; |
||||
padding: 0; |
||||
} |
||||
|
||||
@media only screen and (max-width: 768px) { |
||||
nav.toc { |
||||
position: fixed; |
||||
width: 16em; |
||||
left: -16em; |
||||
-webkit-overflow-scrolling: touch; |
||||
-webkit-transition-property: left; /* Safari */ |
||||
-webkit-transition-duration: 0.3s; /* Safari */ |
||||
transition-property: left; |
||||
transition-duration: 0.3s; |
||||
-webkit-transition-timing-function: ease-out; /* Safari */ |
||||
transition-timing-function: ease-out; |
||||
z-index: 2; |
||||
box-shadow: 5px 0px 5px 0px rgb(210,210,210); |
||||
} |
||||
|
||||
nav.toc.show { |
||||
left: 0; |
||||
} |
||||
|
||||
article { |
||||
margin-left: 0; |
||||
padding: 3em 0.9em 0 0.9em; /* top right bottom left */ |
||||
overflow-wrap: break-word; |
||||
} |
||||
|
||||
article > header { |
||||
position: fixed; |
||||
left: 0; |
||||
z-index: 1; |
||||
} |
||||
|
||||
article > header nav, hr { |
||||
display: none; |
||||
} |
||||
|
||||
article > header div#topbar { |
||||
display: block; /* is mobile */ |
||||
position: fixed; |
||||
width: 100%; |
||||
height: 1.5em; |
||||
padding-top: 1em; |
||||
padding-bottom: 1em; |
||||
background-color: #fcfcfc; |
||||
box-shadow: 0 1px 3px rgba(0,0,0,.26); |
||||
top: 0; |
||||
-webkit-transition-property: top; /* Safari */ |
||||
-webkit-transition-duration: 0.3s; /* Safari */ |
||||
transition-property: top; |
||||
transition-duration: 0.3s; |
||||
} |
||||
|
||||
article > header div#topbar.headroom--unpinned.headroom--not-top.headroom--not-bottom { |
||||
top: -4em; |
||||
-webkit-transition-property: top; /* Safari */ |
||||
-webkit-transition-duration: 0.7s; /* Safari */ |
||||
transition-property: top; |
||||
transition-duration: 0.7s; |
||||
} |
||||
|
||||
article > header div#topbar span { |
||||
width: 80%; |
||||
height: 1.5em; |
||||
margin-top: -0.1em; |
||||
margin-left: 0.9em; |
||||
font-size: 1.2em; |
||||
overflow: hidden; |
||||
} |
||||
|
||||
article > header div#topbar a.fa-bars { |
||||
float: right; |
||||
padding: 0.6em; |
||||
margin-top: -0.6em; |
||||
margin-right: 0.3em; |
||||
font-size: 1.5em; |
||||
} |
||||
|
||||
article > header div#topbar a.fa-bars:visited { |
||||
color: #3091d1; |
||||
} |
||||
|
||||
article table { |
||||
overflow-x: auto; |
||||
display: block; |
||||
} |
||||
|
||||
article div.MathJax_Display { |
||||
overflow: scroll; |
||||
} |
||||
|
||||
article span.MathJax { |
||||
overflow: hidden; |
||||
} |
||||
} |
||||
|
||||
@media only screen and (max-width: 320px) { |
||||
body { |
||||
font-size: 15px; |
||||
} |
||||
} |
||||
@ -1,132 +1,260 @@
@@ -1,132 +1,260 @@
|
||||
/* |
||||
* Part of Documenter.jl |
||||
* https://github.com/JuliaDocs/Documenter.jl
|
||||
* |
||||
* License: MIT |
||||
*/ |
||||
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.0/jquery-ui.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.3/headroom.min', |
||||
'mathjax': 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS_HTML', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min', |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/languages/julia.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/languages/julia-repl.min', |
||||
paths: { |
||||
'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia.min', |
||||
'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/headroom.min', |
||||
'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.0/jquery-ui.min', |
||||
'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/contrib/auto-render.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.9.4/jQuery.headroom.min', |
||||
'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.10.2/katex.min', |
||||
'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/highlight.min', |
||||
'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.9/languages/julia-repl.min', |
||||
}, |
||||
shim: { |
||||
"highlight-julia": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
}, |
||||
"katex-auto-render": { |
||||
"deps": [ |
||||
"katex" |
||||
] |
||||
}, |
||||
"headroom-jquery": { |
||||
"deps": [ |
||||
"jquery", |
||||
"headroom" |
||||
] |
||||
}, |
||||
"highlight-julia-repl": { |
||||
"deps": [ |
||||
"highlight" |
||||
] |
||||
} |
||||
} |
||||
}); |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'katex', 'katex-auto-render'], function($, katex, renderMathInElement) { |
||||
$(document).ready(function() { |
||||
renderMathInElement( |
||||
document.body, |
||||
{ |
||||
"delimiters": [ |
||||
{ |
||||
"left": "$", |
||||
"right": "$", |
||||
"display": false |
||||
}, |
||||
shim: { |
||||
'mathjax' : { |
||||
exports: "MathJax" |
||||
}, |
||||
'highlight-julia': ['highlight'], |
||||
'highlight-julia-repl': ['highlight'], |
||||
{ |
||||
"left": "$$", |
||||
"right": "$$", |
||||
"display": true |
||||
}, |
||||
{ |
||||
"left": "\\[", |
||||
"right": "\\]", |
||||
"display": true |
||||
} |
||||
}); |
||||
] |
||||
} |
||||
|
||||
// Load MathJax
|
||||
require(['mathjax'], function(MathJax) { |
||||
MathJax.Hub.Config({ |
||||
"tex2jax": { |
||||
inlineMath: [['$','$'], ['\\(','\\)']], |
||||
processEscapes: true |
||||
} |
||||
}); |
||||
MathJax.Hub.Config({ |
||||
config: ["MMLorHTML.js"], |
||||
jax: [ |
||||
"input/TeX", |
||||
"output/HTML-CSS", |
||||
"output/NativeMML" |
||||
], |
||||
extensions: [ |
||||
"MathMenu.js", |
||||
"MathZoom.js", |
||||
"TeX/AMSmath.js", |
||||
"TeX/AMSsymbols.js", |
||||
"TeX/autobold.js", |
||||
"TeX/autoload-all.js" |
||||
] |
||||
}); |
||||
MathJax.Hub.Config({ |
||||
TeX: { equationNumbers: { autoNumber: "AMS" } } |
||||
}); |
||||
); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'highlight', 'highlight-julia', 'highlight-julia-repl'], function($, hljs) { |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
$(document).ready(function() { |
||||
hljs.initHighlighting(); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
// Manages the top navigation bar (hides it when the user starts scrolling down on the
|
||||
// mobile).
|
||||
window.Headroom = Headroom; // work around buggy module loading?
|
||||
$(document).ready(function() { |
||||
$('#documenter .docs-navbar').headroom({ |
||||
"tolerance": {"up": 10, "down": 10}, |
||||
}); |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Modal settings dialog
|
||||
$(document).ready(function() { |
||||
var settings = $('#documenter-settings'); |
||||
$('#documenter-settings-button').click(function(){ |
||||
settings.toggleClass('is-active'); |
||||
}); |
||||
// Close the dialog if X is clicked
|
||||
$('#documenter-settings button.delete').click(function(){ |
||||
settings.removeClass('is-active'); |
||||
}); |
||||
// Close dialog if ESC is pressed
|
||||
$(document).keyup(function(e) { |
||||
if (e.keyCode == 27) settings.removeClass('is-active'); |
||||
}); |
||||
}); |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// Manages the showing and hiding of the sidebar.
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter > .docs-sidebar"); |
||||
var sidebar_button = $("#documenter-sidebar-button") |
||||
sidebar_button.click(function(ev) { |
||||
ev.preventDefault(); |
||||
sidebar.toggleClass('visible'); |
||||
if (sidebar.hasClass('visible')) { |
||||
// Makes sure that the current menu item is visible in the sidebar.
|
||||
$("#documenter .docs-menu a.is-active").focus(); |
||||
} |
||||
}); |
||||
$("#documenter > .docs-main").bind('click', function(ev) { |
||||
if ($(ev.target).is(sidebar_button)) { |
||||
return; |
||||
} |
||||
if (sidebar.hasClass('visible')) { |
||||
sidebar.removeClass('visible'); |
||||
} |
||||
}); |
||||
}) |
||||
|
||||
// Resizes the package name / sitename in the sidebar if it is too wide.
|
||||
// Inspired by: https://github.com/davatron5000/FitText.js
|
||||
$(document).ready(function() { |
||||
e = $("#documenter .docs-autofit"); |
||||
function resize() { |
||||
var L = parseInt(e.css('max-width'), 10); |
||||
var L0 = e.width(); |
||||
if(L0 > L) { |
||||
var h0 = parseInt(e.css('font-size'), 10); |
||||
e.css('font-size', L * h0 / L0); |
||||
// TODO: make sure it survives resizes?
|
||||
} |
||||
} |
||||
// call once and then register events
|
||||
resize(); |
||||
$(window).resize(resize); |
||||
$(window).on('orientationchange', resize); |
||||
}); |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$(document).ready(function() { |
||||
var sidebar = $("#documenter .docs-menu").get(0); |
||||
var active = $("#documenter .docs-menu .is-active").get(0); |
||||
if(typeof active !== 'undefined') { |
||||
sidebar.scrollTop = active.offsetTop - sidebar.offsetTop - 15; |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
$(document).ready(function() { |
||||
var version_selector = $("#version-selector"); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = $('#version-selector > option'); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if ($('#version-selector > option').length > 0) { |
||||
version_selector.css("visibility", "visible"); |
||||
} |
||||
|
||||
// Scroll the navigation bar to the currently selected menu item
|
||||
$("nav.toc > ul").get(0).scrollTop = $(".current").get(0).offsetTop - $("nav.toc > ul").get(0).offsetTop; |
||||
}) |
||||
|
||||
function set_theme(theme) { |
||||
var active = null; |
||||
var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
if(themename === null) continue; // ignore non-theme stylesheets
|
||||
// Find the active theme
|
||||
if(themename === theme) active = ss; |
||||
else disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
active.disabled = false; |
||||
if(active.ownerNode.getAttribute("data-theme-primary") === null) { |
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
} else { |
||||
document.getElementsByTagName('html')[0].className = ""; |
||||
} |
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
|
||||
// Store the theme in localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
window.localStorage.setItem("documenter-theme", theme); |
||||
} else { |
||||
console.error("Browser does not support window.localStorage"); |
||||
} |
||||
} |
||||
|
||||
// Theme picker setup
|
||||
$(document).ready(function() { |
||||
// onchange callback
|
||||
$('#documenter-themepicker').change(function themepick_callback(ev){ |
||||
var themename = $('#documenter-themepicker option:selected').attr('value'); |
||||
set_theme(themename); |
||||
}); |
||||
|
||||
// Make sure that the themepicker displays the correct theme when the theme is retrieved
|
||||
// from localStorage
|
||||
if(typeof(window.localStorage) !== "undefined") { |
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
if(theme !== null) { |
||||
$('#documenter-themepicker option').each(function(i,e) { |
||||
e.selected = (e.value === theme); |
||||
}) |
||||
} |
||||
} |
||||
}) |
||||
|
||||
}) |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery'], function($) { |
||||
|
||||
// update the version selector with info from the siteinfo.js and ../versions.js files
|
||||
$(document).ready(function() { |
||||
var version_selector = $("#documenter .docs-version-selector"); |
||||
var version_selector_select = $("#documenter .docs-version-selector select"); |
||||
|
||||
version_selector_select.change(function(x) { |
||||
target_href = version_selector_select.children("option:selected").get(0).value; |
||||
window.location.href = target_href; |
||||
}); |
||||
|
||||
// add the current version to the selector based on siteinfo.js, but only if the selector is empty
|
||||
if (typeof DOCUMENTER_CURRENT_VERSION !== 'undefined' && $('#version-selector > option').length == 0) { |
||||
var option = $("<option value='#' selected='selected'>" + DOCUMENTER_CURRENT_VERSION + "</option>"); |
||||
version_selector_select.append(option); |
||||
} |
||||
|
||||
if (typeof DOC_VERSIONS !== 'undefined') { |
||||
var existing_versions = version_selector_select.children("option"); |
||||
var existing_versions_texts = existing_versions.map(function(i,x){return x.text}); |
||||
DOC_VERSIONS.forEach(function(each) { |
||||
var version_url = documenterBaseURL + "/../" + each; |
||||
var existing_id = $.inArray(each, existing_versions_texts); |
||||
// if not already in the version selector, add it as a new option,
|
||||
// otherwise update the old option with the URL and enable it
|
||||
if (existing_id == -1) { |
||||
var option = $("<option value='" + version_url + "'>" + each + "</option>"); |
||||
version_selector_select.append(option); |
||||
} else { |
||||
var option = existing_versions[existing_id]; |
||||
option.value = version_url; |
||||
option.disabled = false; |
||||
} |
||||
}); |
||||
} |
||||
|
||||
// only show the version selector if the selector has been populated
|
||||
if (version_selector_select.children("option").length > 0) { |
||||
version_selector.toggleClass("visible"); |
||||
} |
||||
}) |
||||
|
||||
// mobile
|
||||
require(['jquery', 'headroom'], function($, Headroom) { |
||||
$(document).ready(function() { |
||||
var navtoc = $("nav.toc"); |
||||
$("nav.toc li.current a.toctext").click(function() { |
||||
navtoc.toggleClass('show'); |
||||
}); |
||||
$("article > header div#topbar a.fa-bars").click(function(ev) { |
||||
ev.preventDefault(); |
||||
navtoc.toggleClass('show'); |
||||
if (navtoc.hasClass('show')) { |
||||
var title = $("article > header div#topbar span").text(); |
||||
$("nav.toc ul li a:contains('" + title + "')").focus(); |
||||
} |
||||
}); |
||||
$("article#docs").bind('click', function(ev) { |
||||
if ($(ev.target).is('div#topbar a.fa-bars')) { |
||||
return; |
||||
} |
||||
if (navtoc.hasClass('show')) { |
||||
navtoc.removeClass('show'); |
||||
} |
||||
}); |
||||
if ($("article > header div#topbar").css('display') == 'block') { |
||||
var headroom = new Headroom(document.querySelector("article > header div#topbar"), {"tolerance": {"up": 10, "down": 10}}); |
||||
headroom.init(); |
||||
} |
||||
}) |
||||
}) |
||||
|
||||
@ -1,250 +1,248 @@
@@ -1,250 +1,248 @@
|
||||
/* |
||||
* Part of Documenter.jl |
||||
* https://github.com/JuliaDocs/Documenter.jl
|
||||
* |
||||
* License: MIT |
||||
*/ |
||||
|
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
// Generated by Documenter.jl
|
||||
requirejs.config({ |
||||
paths: { |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.5/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.11/lodash.min', |
||||
} |
||||
paths: { |
||||
'lunr': 'https://cdnjs.cloudflare.com/ajax/libs/lunr.js/2.3.5/lunr.min', |
||||
'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.11/lodash.min', |
||||
'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min', |
||||
} |
||||
}); |
||||
|
||||
var currentScript = document.currentScript; |
||||
|
||||
require(["jquery", "lunr", "lodash"], function($, lunr, _) { |
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
require(['jquery', 'lunr', 'lodash'], function($, lunr, _) { |
||||
|
||||
$(document).ready(function() { |
||||
// parseUri 1.2.2
|
||||
// (c) Steven Levithan <stevenlevithan.com>
|
||||
// MIT License
|
||||
function parseUri (str) { |
||||
var o = parseUri.options, |
||||
m = o.parser[o.strictMode ? "strict" : "loose"].exec(str), |
||||
uri = {}, |
||||
i = 14; |
||||
|
||||
while (i--) uri[o.key[i]] = m[i] || ""; |
||||
|
||||
uri[o.q.name] = {}; |
||||
uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) { |
||||
if ($1) uri[o.q.name][$1] = $2; |
||||
}); |
||||
|
||||
return uri; |
||||
}; |
||||
parseUri.options = { |
||||
strictMode: false, |
||||
key: ["source","protocol","authority","userInfo","user","password","host","port","relative","path","directory","file","query","anchor"], |
||||
q: { |
||||
name: "queryKey", |
||||
parser: /(?:^|&)([^&=]*)=?([^&]*)/g |
||||
}, |
||||
parser: { |
||||
strict: /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/, |
||||
loose: /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/ |
||||
} |
||||
}; |
||||
|
||||
$("#search-form").submit(function(e) { |
||||
e.preventDefault() |
||||
}) |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'only', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
|
||||
// list below is the lunr 2.1.3 list minus the intersect with names(Base)
|
||||
// (all, any, get, in, is, which) and (do, else, for, let, where, while, with)
|
||||
// ideally we'd just filter the original list but it's not available as a variable
|
||||
lunr.stopWordFilter = lunr.generateStopWordFilter([ |
||||
'a', |
||||
'able', |
||||
'about', |
||||
'across', |
||||
'after', |
||||
'almost', |
||||
'also', |
||||
'am', |
||||
'among', |
||||
'an', |
||||
'and', |
||||
'are', |
||||
'as', |
||||
'at', |
||||
'be', |
||||
'because', |
||||
'been', |
||||
'but', |
||||
'by', |
||||
'can', |
||||
'cannot', |
||||
'could', |
||||
'dear', |
||||
'did', |
||||
'does', |
||||
'either', |
||||
'ever', |
||||
'every', |
||||
'from', |
||||
'got', |
||||
'had', |
||||
'has', |
||||
'have', |
||||
'he', |
||||
'her', |
||||
'hers', |
||||
'him', |
||||
'his', |
||||
'how', |
||||
'however', |
||||
'i', |
||||
'if', |
||||
'into', |
||||
'it', |
||||
'its', |
||||
'just', |
||||
'least', |
||||
'like', |
||||
'likely', |
||||
'may', |
||||
'me', |
||||
'might', |
||||
'most', |
||||
'must', |
||||
'my', |
||||
'neither', |
||||
'no', |
||||
'nor', |
||||
'not', |
||||
'of', |
||||
'off', |
||||
'often', |
||||
'on', |
||||
'only', |
||||
'or', |
||||
'other', |
||||
'our', |
||||
'own', |
||||
'rather', |
||||
'said', |
||||
'say', |
||||
'says', |
||||
'she', |
||||
'should', |
||||
'since', |
||||
'so', |
||||
'some', |
||||
'than', |
||||
'that', |
||||
'the', |
||||
'their', |
||||
'them', |
||||
'then', |
||||
'there', |
||||
'these', |
||||
'they', |
||||
'this', |
||||
'tis', |
||||
'to', |
||||
'too', |
||||
'twas', |
||||
'us', |
||||
'wants', |
||||
'was', |
||||
'we', |
||||
'were', |
||||
'what', |
||||
'when', |
||||
'who', |
||||
'whom', |
||||
'why', |
||||
'will', |
||||
'would', |
||||
'yet', |
||||
'you', |
||||
'your' |
||||
]) |
||||
|
||||
// add . as a separator, because otherwise "title": "Documenter.Anchors.add!"
|
||||
// would not find anything if searching for "add!", only for the entire qualification
|
||||
lunr.tokenizer.separator = /[\s\-\.]+/ |
||||
|
||||
// custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
|
||||
lunr.trimmer = function (token) { |
||||
return token.update(function (s) { |
||||
return s.replace(/^[^a-zA-Z0-9@!]+/, '').replace(/[^a-zA-Z0-9@!]+$/, '') |
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title',{boost: 100}) |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
|
||||
$(function(){ |
||||
searchresults = $('#documenter-search-results'); |
||||
searchinfo = $('#documenter-search-info'); |
||||
searchbox = $('#documenter-search-query'); |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
searchinfo.text("Number of results: " + results.length) |
||||
searchresults.empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a class="docs-label">'+data.title+'</a>') |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="docs-category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
searchresults.append(li) |
||||
}) |
||||
} |
||||
|
||||
lunr.Pipeline.registerFunction(lunr.stopWordFilter, 'juliaStopWordFilter') |
||||
lunr.Pipeline.registerFunction(lunr.trimmer, 'juliaTrimmer') |
||||
function update_search_box() { |
||||
querystring = searchbox.val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
var index = lunr(function () { |
||||
this.ref('location') |
||||
this.field('title') |
||||
this.field('text') |
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
this.add(e) |
||||
}, this) |
||||
}) |
||||
var store = {} |
||||
searchbox.keyup(_.debounce(update_search_box, 250)) |
||||
searchbox.change(update_search_box) |
||||
|
||||
documenterSearchIndex['docs'].forEach(function(e) { |
||||
store[e.location] = {title: e.title, category: e.category} |
||||
}) |
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
searchbox.val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
$(function(){ |
||||
function update_search(querystring) { |
||||
tokens = lunr.tokenizer(querystring) |
||||
results = index.query(function (q) { |
||||
tokens.forEach(function (t) { |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 100, |
||||
usePipeline: false, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["title"], |
||||
boost: 10, |
||||
usePipeline: false, |
||||
editDistance: 2, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
q.term(t.toString(), { |
||||
fields: ["text"], |
||||
boost: 1, |
||||
usePipeline: true, |
||||
editDistance: 0, |
||||
wildcard: lunr.Query.wildcard.NONE |
||||
}) |
||||
}) |
||||
}) |
||||
$('#search-info').text("Number of results: " + results.length) |
||||
$('#search-results').empty() |
||||
results.forEach(function(result) { |
||||
data = store[result.ref] |
||||
link = $('<a>') |
||||
link.text(data.title) |
||||
link.attr('href', documenterBaseURL+'/'+result.ref) |
||||
cat = $('<span class="category">('+data.category+')</span>') |
||||
li = $('<li>').append(link).append(" ").append(cat) |
||||
$('#search-results').append(li) |
||||
}) |
||||
} |
||||
|
||||
function update_search_box() { |
||||
querystring = $('#search-query').val() |
||||
update_search(querystring) |
||||
} |
||||
|
||||
$('#search-query').keyup(_.debounce(update_search_box, 250)) |
||||
$('#search-query').change(update_search_box) |
||||
|
||||
search_query_uri = parseUri(window.location).queryKey["q"] |
||||
if(search_query_uri !== undefined) { |
||||
search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20')) |
||||
$("#search-query").val(search_query) |
||||
} |
||||
update_search_box(); |
||||
}) |
||||
}) |
||||
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -0,0 +1,42 @@
@@ -0,0 +1,42 @@
|
||||
// Small function to quickly swap out themes. Gets put into the <head> tag..
|
||||
function set_theme_from_local_storage() { |
||||
// Browser does not support Web Storage, bail early.
|
||||
if(typeof(window.localStorage) === "undefined") return; |
||||
// Get the user-picked theme from localStorage. May be `null`, which means the default
|
||||
// theme.
|
||||
var theme = window.localStorage.getItem("documenter-theme"); |
||||
// Initialize a few variables for the loop:
|
||||
//
|
||||
// - active: will contain the index of the theme that should be active. Note that there
|
||||
// is no guarantee that localStorage contains sane values. If `active` stays `null`
|
||||
// we either could not find the theme or it is the default (primary) theme anyway.
|
||||
// Either way, we then need to stick to the primary theme.
|
||||
//
|
||||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets
|
||||
// that are not the currently active theme)
|
||||
var active = null; var disabled = []; |
||||
for (var i = 0; i < document.styleSheets.length; i++) { |
||||
var ss = document.styleSheets[i]; |
||||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute
|
||||
// which must contain the name of the theme. The names in localStorage much match this.
|
||||
var themename = ss.ownerNode.getAttribute("data-theme-name"); |
||||
// attribute not set => non-theme stylesheet => ignore
|
||||
if(themename === null) continue; |
||||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary
|
||||
// attribute set.
|
||||
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); |
||||
// If we find a matching theme (and it's not the default), we'll set active to non-null
|
||||
if(!isprimary && themename === theme) active = i; |
||||
// Store the style sheets of inactive themes so that we could disable them
|
||||
if(themename !== theme) disabled.push(ss); |
||||
} |
||||
if(active !== null) { |
||||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
|
||||
document.getElementsByTagName('html')[0].className = "theme--" + theme; |
||||
// and (2) disable all the other theme stylesheets
|
||||
disabled.forEach(function(ss){ |
||||
ss.disabled = true; |
||||
}); |
||||
} |
||||
} |
||||
set_theme_from_local_storage(); |
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -0,0 +1,2 @@
@@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.8.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css" rel="stylesheet" type="text/css"/><link href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.2.0/require.min.js" data-main="assets/documenter.js"></script><script src="siteinfo.js"></script><script src="../versions.js"></script><link href="assets/custom.css" rel="stylesheet" type="text/css"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-dark.css" data-theme-name="documenter-dark"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="index.html"><img src="assets/logo.png" alt="Literate.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit">Literate.jl</span></div><form class="docs-search" action="search.html"><input class="docs-search-query" id="documenter-search-query" name="q" type="text" placeholder="Search docs"/></form><ul class="docs-menu"><li><a class="tocitem" href="index.html"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="fileformat.html"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="pipeline.html"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="outputformats.html"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="customprocessing.html"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="documenter.html"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="generated/example.html"><strong>7.</strong> Example</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href="search.html">Search</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href="search.html">Search</a></li></ul></nav><div class="docs-right"><a class="docs-settings-button fas fa-cog" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-sidebar-button fa fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a></div></header><article><p id="documenter-search-info">Loading search...</p><ul id="documenter-search-results"></ul></article></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> on <span class="colophon-date" title="Friday 4 October 2019 22:52">Friday 4 October 2019</span>. Using Julia version 1.2.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body><script src="search_index.js"></script><script src="assets/search.js"></script></html> |
||||
@ -1,2 +0,0 @@
@@ -1,2 +0,0 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Search · Literate.jl</title><link href="https://cdnjs.cloudflare.com/ajax/libs/normalize/4.2.0/normalize.min.css" rel="stylesheet" type="text/css"/><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.2.0/require.min.js" data-main="../assets/documenter.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><link href="../assets/documenter.css" rel="stylesheet" type="text/css"/><link href="../assets/custom.css" rel="stylesheet" type="text/css"/></head><body><nav class="toc"><a href="../"><img class="logo" src="../assets/logo.png" alt="Literate.jl logo"/></a><h1>Literate.jl</h1><select id="version-selector" onChange="window.location.href=this.value" style="visibility: hidden"></select><form class="search" id="search-form" action><input id="search-query" name="q" type="text" placeholder="Search docs"/></form><ul><li><a class="toctext" href="../"><strong>1.</strong> Introduction</a></li><li><a class="toctext" href="../fileformat/"><strong>2.</strong> File Format</a></li><li><a class="toctext" href="../pipeline/"><strong>3.</strong> Processing pipeline</a></li><li><a class="toctext" href="../outputformats/"><strong>4.</strong> Output Formats</a></li><li><a class="toctext" href="../customprocessing/"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="toctext" href="../documenter/"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="toctext" href="../generated/example/"><strong>7.</strong> Example</a></li></ul></nav><article><header><nav><ul><li>Search</li></ul></nav><hr/><div id="topbar"><span>Search</span><a class="fa fa-bars" href="#"></a></div></header><h1>Search</h1><p id="search-info">Number of results: <span id="search-results-number">loading...</span></p><ul id="search-results"></ul></article></body><script src="../search_index.js"></script><script src="../assets/search.js"></script></html> |
||||
File diff suppressed because one or more lines are too long
Loading…
Reference in new issue