Skip to content

Commit

Permalink
Update conan doc to 0.0.4.
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Jul 9, 2023
1 parent b2415fc commit 2f7d6bf
Show file tree
Hide file tree
Showing 388 changed files with 556 additions and 1,011 deletions.
Binary file removed _odoc_support/fonts/KaTeX_AMS-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Fraktur-Bold.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Fraktur-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Main-Bold.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Main-BoldItalic.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Main-Italic.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Main-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Math-BoldItalic.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Math-Italic.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_SansSerif-Bold.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_SansSerif-Italic.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_SansSerif-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Script-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Size1-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Size2-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Size3-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Size4-Regular.woff2
Binary file not shown.
Binary file removed _odoc_support/fonts/KaTeX_Typewriter-Regular.woff2
Binary file not shown.
463 changes: 2 additions & 461 deletions _odoc_support/highlight.pack.js

Large diffs are not rendered by default.

1 change: 0 additions & 1 deletion _odoc_support/katex.min.css

This file was deleted.

1 change: 0 additions & 1 deletion _odoc_support/katex.min.js

This file was deleted.

51 changes: 20 additions & 31 deletions _odoc_support/odoc.css
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
@charset "UTF-8";
/* Copyright (c) 2016 The odoc contributors. All rights reserved.
Distributed under the ISC license, see terms at the end of the file.
odoc 2.2.0 */
odoc 2.1.1 */

/* Fonts */
@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
Expand Down Expand Up @@ -419,44 +419,28 @@ pre code {
padding: 0.35em 0.5em;
}

li:not(:last-child) > .def-doc {
margin-bottom: 15px;
.def-doc {
margin-bottom: 10px;
}

/* Spacing between items */
div.odoc-spec,.odoc-include {
margin-bottom: 2em;
}

.spec.type .variant p, .spec.type .record p {
margin: 5px;
}

.spec.type .variant, .spec.type .record {
.spec.type .variant {
margin-left: 2ch;
list-style: none;
display: flex;
flex-wrap: wrap;
row-gap: 4px;
}

.spec.type .record > code, .spec.type .variant > code {
min-width: 40%;
.spec.type .variant p {
margin: 0;
font-style: italic;
}

.spec.type > ol {
margin-top: 0;
margin-bottom: 0;
.spec.type .record {
margin-left: 2ch;
}

.spec.type .record > .def-doc, .spec.type .variant > .def-doc {
min-width:50%;
padding: 0.25em 0.5em;
margin-left: 10%;
border-radius: 3px;
flex-grow:1;
background: var(--main-background);
box-shadow: 2px 2px 4px lightgrey;
.spec.type .record p {
margin: 0;
font-style: italic;
}

div.def {
Expand All @@ -465,6 +449,11 @@ div.def {
padding-left: 2ex;
}

div.def+div.def-doc {
margin-left: 1ex;
margin-top: 2.5px
}

div.def-doc>*:first-child {
margin-top: 0;
}
Expand Down Expand Up @@ -677,8 +666,9 @@ td.def-doc *:first-child {
/* Mobile adjustements. */

@media only screen and (max-width: 95ex) {
body.odoc {
margin: 2em;
.odoc-content {
margin: auto;
padding: 2em;
}
.odoc-toc {
position: static;
Expand All @@ -688,7 +678,6 @@ td.def-doc *:first-child {
border: none;
padding: 0.2em 1em;
border-radius: 5px;
margin-bottom: 2em;
}
}

Expand Down
2 changes: 1 addition & 1 deletion conan-cli/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (conan-cli.index)</title><link rel="stylesheet" href="../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – conan-cli</nav><header class="odoc-preamble"><h1 id="conan-cli-index"><a href="#conan-cli-index" class="anchor"></a>conan-cli index</h1></header><div class="odoc-content"></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (conan-cli.index)</title><link rel="stylesheet" href="../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – conan-cli</nav><header class="odoc-preamble"><h1 id="conan-cli-index"><a href="#conan-cli-index" class="anchor"></a>conan-cli index</h1></header><div class="odoc-content"></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_acorn/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_acorn (conan-database.Conan_acorn)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_acorn</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_acorn</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_acorn (conan-database.Conan_acorn)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_acorn</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_acorn</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_adi/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adi (conan-database.Conan_adi)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_adi</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adi</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adi (conan-database.Conan_adi)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_adi</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adi</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_adventure/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adventure (conan-database.Conan_adventure)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_adventure</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adventure</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adventure (conan-database.Conan_adventure)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_adventure</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adventure</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_aes/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_aes (conan-database.Conan_aes)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_aes</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_aes</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_aes (conan-database.Conan_aes)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_aes</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_aes</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_algol68/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_algol68 (conan-database.Conan_algol68)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_algol68</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_algol68</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_algol68 (conan-database.Conan_algol68)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_algol68</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_algol68</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_allegro/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_allegro (conan-database.Conan_allegro)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_allegro</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_allegro</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_allegro (conan-database.Conan_allegro)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_allegro</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_allegro</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_alliant/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alliant (conan-database.Conan_alliant)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_alliant</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alliant</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alliant (conan-database.Conan_alliant)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_alliant</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alliant</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion conan-database/Conan_alpha/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alpha (conan-database.Conan_alpha)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_alpha</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alpha</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alpha (conan-database.Conan_alpha)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../index.html">conan-database</a> &#x00BB; Conan_alpha</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alpha</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
Loading

0 comments on commit 2f7d6bf

Please sign in to comment.