Browse Source

build based on aa16094

gh-pages
Documenter.jl 5 years ago
parent
commit
98873a8033
  1. 4
      dev/assets/documenter.js
  2. 8
      dev/assets/search.js
  3. 4
      dev/assets/themes/documenter-dark.css
  4. 5
      dev/assets/themes/documenter-light.css
  5. 38
      dev/assets/themeswap.js
  6. 4
      dev/customprocessing/index.html
  7. 4
      dev/documenter/index.html
  8. 4
      dev/fileformat/index.html
  9. 174
      dev/generated/example.ipynb
  10. 88
      dev/generated/example/index.html
  11. 2
      dev/generated/name/index.html
  12. 4
      dev/generated/notebook.ipynb
  13. 2
      dev/index.html
  14. 6
      dev/outputformats/index.html
  15. 4
      dev/pipeline/index.html
  16. 2
      dev/search/index.html
  17. 4
      dev/tips/index.html

4
dev/assets/documenter.js

@ -208,6 +208,10 @@ $(document).ready(function() {
$('#documenter-themepicker option').each(function(i,e) { $('#documenter-themepicker option').each(function(i,e) {
e.selected = (e.value === theme); e.selected = (e.value === theme);
}) })
} else {
$('#documenter-themepicker option').each(function(i,e) {
e.selected = $("html").hasClass(`theme--${e.value}`);
})
} }
} }
}) })

8
dev/assets/search.js

@ -181,7 +181,7 @@ $(document).ready(function() {
var store = {} var store = {}
documenterSearchIndex['docs'].forEach(function(e) { documenterSearchIndex['docs'].forEach(function(e) {
store[e.location] = {title: e.title, category: e.category} store[e.location] = {title: e.title, category: e.category, page: e.page}
}) })
$(function(){ $(function(){
@ -221,7 +221,11 @@ $(document).ready(function() {
data = store[result.ref] data = store[result.ref]
link = $('<a class="docs-label">'+data.title+'</a>') link = $('<a class="docs-label">'+data.title+'</a>')
link.attr('href', documenterBaseURL+'/'+result.ref) link.attr('href', documenterBaseURL+'/'+result.ref)
cat = $('<span class="docs-category">('+data.category+')</span>') if (data.category != "page"){
cat = $('<span class="docs-category">('+data.category+', '+data.page+')</span>')
} else {
cat = $('<span class="docs-category">('+data.category+')</span>')
}
li = $('<li>').append(link).append(" ").append(cat) li = $('<li>').append(link).append(" ").append(cat)
searchresults.append(li) searchresults.append(li)
}) })

4
dev/assets/themes/documenter-dark.css

@ -7305,11 +7305,15 @@ html.theme--documenter-dark {
html.theme--documenter-dark .katex .katex-mathml { html.theme--documenter-dark .katex .katex-mathml {
top: 0; top: 0;
right: 0; } right: 0; }
html.theme--documenter-dark .katex-display, html.theme--documenter-dark mjx-container, html.theme--documenter-dark .MathJax_Display {
margin: 0.5em 0 !important; }
html.theme--documenter-dark html { html.theme--documenter-dark html {
-moz-osx-font-smoothing: auto; -moz-osx-font-smoothing: auto;
-webkit-font-smoothing: auto; } -webkit-font-smoothing: auto; }
html.theme--documenter-dark #documenter .docs-main > article { html.theme--documenter-dark #documenter .docs-main > article {
overflow-wrap: break-word; } overflow-wrap: break-word; }
html.theme--documenter-dark #documenter .docs-main > article .math-container {
overflow-x: auto; }
@media screen and (min-width: 1056px) { @media screen and (min-width: 1056px) {
html.theme--documenter-dark #documenter .docs-main { html.theme--documenter-dark #documenter .docs-main {
max-width: 52rem; max-width: 52rem;

5
dev/assets/themes/documenter-light.css

@ -7277,6 +7277,9 @@ h1:hover .docs-heading-anchor-permalink, h2:hover .docs-heading-anchor-permalink
top: 0; top: 0;
right: 0; } right: 0; }
.katex-display, mjx-container, .MathJax_Display {
margin: 0.5em 0 !important; }
html { html {
-moz-osx-font-smoothing: auto; -moz-osx-font-smoothing: auto;
-webkit-font-smoothing: auto; } -webkit-font-smoothing: auto; }
@ -7287,6 +7290,8 @@ html {
*/ */
#documenter .docs-main > article { #documenter .docs-main > article {
overflow-wrap: break-word; } overflow-wrap: break-word; }
#documenter .docs-main > article .math-container {
overflow-x: auto; }
@media screen and (min-width: 1056px) { @media screen and (min-width: 1056px) {
#documenter .docs-main { #documenter .docs-main {

38
dev/assets/themeswap.js

@ -1,10 +1,20 @@
// Small function to quickly swap out themes. Gets put into the <head> tag.. // Small function to quickly swap out themes. Gets put into the <head> tag..
function set_theme_from_local_storage() { function set_theme_from_local_storage() {
// Browser does not support Web Storage, bail early. // Intialize the theme to null, which means default
if(typeof(window.localStorage) === "undefined") return; var theme = null;
// Get the user-picked theme from localStorage. May be `null`, which means the default // If the browser supports the localstorage and is not disabled then try to get the
// theme. // documenter theme
var theme = window.localStorage.getItem("documenter-theme"); if(window.localStorage != null) {
// Get the user-picked theme from localStorage. May be `null`, which means the default
// theme.
theme = window.localStorage.getItem("documenter-theme");
}
// Check if the browser supports user color preference
var darkPreference = false;
// Check if the users preference is for dark color scheme
if(window.matchMedia('(prefers-color-scheme: dark)').matches === true) {
darkPreference = true;
}
// Initialize a few variables for the loop: // Initialize a few variables for the loop:
// //
// - active: will contain the index of the theme that should be active. Note that there // - active: will contain the index of the theme that should be active. Note that there
@ -14,7 +24,7 @@ function set_theme_from_local_storage() {
// //
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets // - disabled: style sheets that should be disabled (i.e. all the theme style sheets
// that are not the currently active theme) // that are not the currently active theme)
var active = null; var disabled = []; var active = null; var disabled = []; var darkTheme = null;
for (var i = 0; i < document.styleSheets.length; i++) { for (var i = 0; i < document.styleSheets.length; i++) {
var ss = document.styleSheets[i]; var ss = document.styleSheets[i];
// The <link> tag of each style sheet is expected to have a data-theme-name attribute // The <link> tag of each style sheet is expected to have a data-theme-name attribute
@ -25,8 +35,12 @@ function set_theme_from_local_storage() {
// To distinguish the default (primary) theme, it needs to have the data-theme-primary // To distinguish the default (primary) theme, it needs to have the data-theme-primary
// attribute set. // attribute set.
var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null); var isprimary = (ss.ownerNode.getAttribute("data-theme-primary") !== null);
// Check if the theme is primary dark theme
var isDarkTheme = (ss.ownerNode.getAttribute("data-theme-primary-dark") !== null);
// If ss is for dark theme then set the value of darkTheme to the name of the theme
if(isDarkTheme) darkTheme = themename;
// If we find a matching theme (and it's not the default), we'll set active to non-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; if(themename === theme) active = i;
// Store the style sheets of inactive themes so that we could disable them // Store the style sheets of inactive themes so that we could disable them
if(themename !== theme) disabled.push(ss); if(themename !== theme) disabled.push(ss);
} }
@ -38,5 +52,15 @@ function set_theme_from_local_storage() {
ss.disabled = true; ss.disabled = true;
}); });
} }
else if(darkTheme !== null && darkPreference === true) {
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html>
document.getElementsByTagName('html')[0].className = "theme--" + darkTheme;
// and (2) disable all the other theme stylesheets
disabled.forEach(function(ss){
if (ss.ownerNode.getAttribute("data-theme-name") !== darkTheme) {
ss.disabled = true;
}
});
}
} }
set_theme_from_local_storage(); set_theme_from_local_storage();

4
dev/customprocessing/index.html

File diff suppressed because one or more lines are too long

4
dev/documenter/index.html

File diff suppressed because one or more lines are too long

4
dev/fileformat/index.html

File diff suppressed because one or more lines are too long

174
dev/generated/example.ipynb

File diff suppressed because one or more lines are too long

88
dev/generated/example/index.html

File diff suppressed because one or more lines are too long

2
dev/generated/name/index.html

File diff suppressed because one or more lines are too long

4
dev/generated/notebook.ipynb

@ -87,11 +87,11 @@
"file_extension": ".jl", "file_extension": ".jl",
"mimetype": "application/julia", "mimetype": "application/julia",
"name": "julia", "name": "julia",
"version": "1.5.1" "version": "1.5.3"
}, },
"kernelspec": { "kernelspec": {
"name": "julia-1.5", "name": "julia-1.5",
"display_name": "Julia 1.5.1", "display_name": "Julia 1.5.3",
"language": "julia" "language": "julia"
} }
}, },

2
dev/index.html

File diff suppressed because one or more lines are too long

6
dev/outputformats/index.html

File diff suppressed because one or more lines are too long

4
dev/pipeline/index.html

File diff suppressed because one or more lines are too long

2
dev/search/index.html

@ -1,2 +1,2 @@
<!DOCTYPE html> <!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 rel="canonical" href="https://fredrikekre.github.io/Literate.jl/v2/search/"/><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.11.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.11.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../assets/documenter.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><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><link href="../assets/custom.css" rel="stylesheet" type="text/css"/><link href="../assets/favicon.ico" rel="icon" type="image/x-icon"/></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../"><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><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="../"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="../fileformat/"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="../pipeline/"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="../outputformats/"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="../customprocessing/"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="../documenter/"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="../tips/"><strong>7.</strong> Tips and Tricks</a></li><li><a class="tocitem" href="../generated/example/"><strong>8.</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</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>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><nav class="docs-footer"><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></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="Saturday 12 September 2020 14:53">Saturday 12 September 2020</span>. Using Julia version 1.5.1.</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> <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 rel="canonical" href="https://fredrikekre.github.io/Literate.jl/v2/search/"/><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.15.0/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.0/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.0/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../assets/documenter.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-dark.css" data-theme-name="documenter-dark" data-theme-primary-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><link href="../assets/custom.css" rel="stylesheet" type="text/css"/><link href="../assets/favicon.ico" rel="icon" type="image/x-icon"/></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../"><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><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="../"><strong>1.</strong> Introduction</a></li><li><a class="tocitem" href="../fileformat/"><strong>2.</strong> File Format</a></li><li><a class="tocitem" href="../pipeline/"><strong>3.</strong> Processing pipeline</a></li><li><a class="tocitem" href="../outputformats/"><strong>4.</strong> Output Formats</a></li><li><a class="tocitem" href="../customprocessing/"><strong>5.</strong> Custom pre- and post-processing</a></li><li><a class="tocitem" href="../documenter/"><strong>6.</strong> Interaction with Documenter.jl</a></li><li><a class="tocitem" href="../tips/"><strong>7.</strong> Tips and Tricks</a></li><li><a class="tocitem" href="../generated/example/"><strong>8.</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</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>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><nav class="docs-footer"><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></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="Tuesday 19 January 2021 14:52">Tuesday 19 January 2021</span>. Using Julia version 1.5.3.</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>

4
dev/tips/index.html

File diff suppressed because one or more lines are too long
Loading…
Cancel
Save