mirror of
https://github.com/numtide/treefmt.git
synced 2024-08-16 20:30:25 +03:00
deploy: e7345cbeac
This commit is contained in:
bors[bot]
parent
3476dd1990
commit
c9462952d5
35
404.html
35
404.html
@ -10,7 +10,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="icon" href="/treefmt/assets/favicon.png">
|
||||
<link rel="icon" href="/treefmt/assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -38,7 +38,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="/treefmt/stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("/treefmt/",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -75,9 +75,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href="/treefmt/." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -176,8 +174,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -265,13 +269,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -337,7 +335,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -428,7 +426,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -554,14 +552,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -602,7 +597,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "/treefmt/", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "/treefmt/assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "/treefmt/", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "/treefmt/assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="/treefmt/assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
Binary file not shown.
|
Before Width: | Height: | Size: 8.0 KiB |
Binary file not shown.
Binary file not shown.
|
Before Width: | Height: | Size: 8.0 KiB |
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/contributing/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -437,7 +435,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -807,14 +805,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -876,7 +871,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
30
default.nix
30
default.nix
@ -1,30 +0,0 @@
|
||||
{ stdenv, mkdocs, python310Packages }:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "treefmt-docs";
|
||||
|
||||
src = builtins.path {
|
||||
name = "treefmt-docs";
|
||||
path = ./.;
|
||||
};
|
||||
|
||||
# Re-create the folder structure since mkdocs insists on having the
|
||||
# mkdocs.yml at the root of the repo.
|
||||
unpackPhase = ''
|
||||
cp -r --no-preserve=mode $src docs
|
||||
cp ${../mkdocs.yml} mkdocs.yml
|
||||
'';
|
||||
|
||||
nativeBuildInputs = [
|
||||
mkdocs
|
||||
python310Packages.mkdocs-material
|
||||
];
|
||||
|
||||
buildPhase = ''
|
||||
mkdocs build
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
mv site $out
|
||||
'';
|
||||
}
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/faq/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -437,7 +435,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -656,14 +654,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -740,7 +735,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/formatters-spec/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -672,14 +670,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -756,7 +751,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/formatters/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -1502,14 +1500,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -1586,7 +1581,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/index-formatters/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -594,14 +592,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -678,7 +673,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
35
index.html
35
index.html
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/">
|
||||
|
||||
<link rel="icon" href="assets/favicon.png">
|
||||
<link rel="icon" href="assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL(".",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href="." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -401,7 +399,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -492,7 +490,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -696,14 +694,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -765,7 +760,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": ".", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": ".", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/installation/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -507,7 +505,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -719,14 +717,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -803,7 +798,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/quickstart/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -449,7 +447,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -598,14 +596,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -682,7 +677,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -1,114 +0,0 @@
|
||||
@font-face {
|
||||
font-family: Eurostile-Roman;
|
||||
src: url("../assets/fonts/Eurostile-Roman.ttf");
|
||||
}
|
||||
|
||||
:root > * {
|
||||
--md-text-font: Eurostile-Roman;
|
||||
}
|
||||
/* light scheme */
|
||||
[data-md-color-scheme="default"] {
|
||||
--md-primary-fg-color: #f58220;
|
||||
--md-primary-fg-color--light: #f58220;
|
||||
--md-primary-fg-color--dark: #d41f26;
|
||||
--md-accent-fg-color: #d41f26;
|
||||
--md-header-bg-color: #ffffff;
|
||||
--md-footer-bg-color: #939598;
|
||||
--md-text-font: Eurostile-Roman;
|
||||
--md-default-fg-color: #58595b;
|
||||
--md-default-fg-color--light: #d41f26;
|
||||
}
|
||||
|
||||
/* dark scheme as set in .yaml */
|
||||
[data-md-color-scheme="slate"] {
|
||||
--md-primary-fg-color: #546d78;
|
||||
--md-typeset-color: #e9ebfc !important;
|
||||
--md-default-fg-color: #e9ebfc;
|
||||
--md-typeset-a-color: #fbaa31 !important;
|
||||
/* --md-default-fg-color--light: #F58220; */
|
||||
--md-text-font: Eurostile-Roman;
|
||||
}
|
||||
|
||||
/* --------------------------- Header --------------------------- */
|
||||
|
||||
/* Logo */
|
||||
.md-header__button.md-logo img,
|
||||
.md-header__button.md-logo svg {
|
||||
height: 2rem;
|
||||
}
|
||||
|
||||
.md-header__button.md-logo {
|
||||
background-color: #ffffff;
|
||||
border-radius: 8px;
|
||||
padding: 0.2rem;
|
||||
}
|
||||
|
||||
.md-header__title {
|
||||
color: #ffffff;
|
||||
font-size: 1.4rem;
|
||||
}
|
||||
|
||||
/* search input in header */
|
||||
.md-search__form {
|
||||
height: 1.8rem;
|
||||
margin: 9px 0;
|
||||
}
|
||||
|
||||
.md-search-result__meta {
|
||||
margin-top: 0.3rem;
|
||||
}
|
||||
|
||||
.md-tabs__link {
|
||||
font-size: 0.8rem;
|
||||
}
|
||||
|
||||
/* --------------------------- Navigation --------------------------- */
|
||||
|
||||
.md-nav__title {
|
||||
color: #ffffff;
|
||||
background-color: #939598 !important;
|
||||
font-size: 1.1rem;
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.md-nav {
|
||||
font-size: 0.8rem;
|
||||
line-height: 1.3;
|
||||
}
|
||||
|
||||
.md-sidebar--primary .md-sidebar__scrollwrap {
|
||||
border-right: 1px solid #939598;
|
||||
}
|
||||
|
||||
.md-sidebar__inner {
|
||||
padding-right: 0 !important;
|
||||
}
|
||||
|
||||
.md-nav__link--passed {
|
||||
color: #fbaa31;
|
||||
}
|
||||
|
||||
/* --------------------------- font stuff --------------------------- */
|
||||
|
||||
.md-typeset h1 {
|
||||
font-size: 1.75rem;
|
||||
line-height: 1.3;
|
||||
margin: 0 0 1.25em;
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.md-typeset h2 {
|
||||
color: #fbaa31;
|
||||
font-weight: 500;
|
||||
line-height: 1.3;
|
||||
margin: 0 0 1.25em;
|
||||
}
|
||||
|
||||
.md-typeset h3 {
|
||||
color: #fbaa31;
|
||||
}
|
||||
|
||||
/* highlights / links */
|
||||
.md-typeset a {
|
||||
color: #fbaa31;
|
||||
}
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/treefmt-configuration/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -500,7 +498,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -708,14 +706,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -792,7 +787,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
@ -12,7 +12,7 @@
|
||||
|
||||
<link rel="canonical" href="https://numtide.github.io/treefmt/usage/">
|
||||
|
||||
<link rel="icon" href="../assets/favicon.png">
|
||||
<link rel="icon" href="../assets/logo.png">
|
||||
<meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.4.3">
|
||||
|
||||
|
||||
@ -40,7 +40,7 @@
|
||||
|
||||
|
||||
|
||||
<link rel="stylesheet" href="../stylesheets/extra.css">
|
||||
<link rel="stylesheet" href="https://numtide.github.io/mkdocs-numtide/stylesheets/extra.css">
|
||||
|
||||
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||||
|
||||
@ -82,9 +82,7 @@
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<header class="md-header md-header--lifted" data-md-component="header">
|
||||
<header class="md-header" data-md-component="header">
|
||||
<nav class="md-header__inner md-grid" aria-label="Header">
|
||||
<a href=".." title="treefmt" class="md-header__button md-logo" aria-label="treefmt" data-md-component="logo">
|
||||
|
||||
@ -183,8 +181,14 @@
|
||||
|
||||
</nav>
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<nav class="md-tabs" aria-label="Tabs" data-md-component="tabs">
|
||||
<div class="md-tabs__inner md-grid">
|
||||
<ul class="md-tabs__list">
|
||||
@ -274,13 +278,7 @@
|
||||
</ul>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
|
||||
</header>
|
||||
|
||||
<div class="md-container" data-md-component="container">
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<main class="md-main" data-md-component="main">
|
||||
@ -346,7 +344,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_2" type="checkbox" id="__nav_2" checked>
|
||||
|
||||
|
||||
|
||||
@ -492,7 +490,7 @@
|
||||
<li class="md-nav__item md-nav__item--nested">
|
||||
|
||||
|
||||
<input class="md-nav__toggle md-toggle" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" >
|
||||
<input class="md-nav__toggle md-toggle md-toggle--indeterminate" data-md-toggle="__nav_4" type="checkbox" id="__nav_4" checked>
|
||||
|
||||
|
||||
|
||||
@ -753,14 +751,11 @@
|
||||
|
||||
</article>
|
||||
|
||||
<script>var tabs=__md_get("__tabs");if(Array.isArray(tabs))e:for(var set of document.querySelectorAll(".tabbed-set")){var tab,labels=set.querySelector(".tabbed-labels");for(tab of tabs)for(var label of labels.getElementsByTagName("label"))if(label.innerText.trim()===tab){var input=document.getElementById(label.htmlFor);input.checked=!0;continue e}}</script>
|
||||
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<a href="#" class="md-top md-icon" data-md-component="top" hidden>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
|
||||
Back to top
|
||||
</a>
|
||||
|
||||
</main>
|
||||
|
||||
<footer class="md-footer">
|
||||
@ -837,7 +832,7 @@
|
||||
<div class="md-dialog__inner md-typeset"></div>
|
||||
</div>
|
||||
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["navigation.tabs", "navigation.tabs.sticky", "navigation.top", "content.action.edit", "content.action.view"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
<script id="__config" type="application/json">{"base": "..", "features": ["tabs", "instant", "navigation.tabs", "navigation.expand", "navigation.instant", "navigation.tracking", "content.code.annotate", "content.tabs.link"], "search": "../assets/javascripts/workers/search.ecf98df9.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version.title": "Select version"}}</script>
|
||||
|
||||
|
||||
<script src="../assets/javascripts/bundle.2ab50757.min.js"></script>
|
||||
|
||||
Loading…
Reference in New Issue
Block a user