Skip to content

Commit

Permalink
Deploying to gh-pages from @ ccd3dea 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
toots committed Oct 16, 2023
1 parent 604568e commit af72144
Show file tree
Hide file tree
Showing 30 changed files with 523 additions and 144 deletions.
Binary file added odoc.support/fonts/fira-mono-v14-latin-500.woff2
Binary file not shown.
Binary file not shown.
Binary file added odoc.support/fonts/fira-sans-v17-latin-500.woff2
Binary file not shown.
Binary file not shown.
Binary file added odoc.support/fonts/fira-sans-v17-latin-700.woff2
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
373 changes: 273 additions & 100 deletions odoc.support/highlight.pack.js

Large diffs are not rendered by default.

236 changes: 221 additions & 15 deletions odoc.support/odoc.css
Original file line number Diff line number Diff line change
@@ -1,19 +1,105 @@
@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.3.0 */

/* Fonts */
@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
@import url('https://fonts.googleapis.com/css?family=Noticia+Text:400,400i,700');
@import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,500,500i,600,600i,700,700i');
/* noticia-text-regular - latin */
@font-face {
font-family: 'Noticia Text';
font-style: normal;
font-weight: 400;
src: url('fonts/noticia-text-v15-latin-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* noticia-text-italic - latin */
@font-face {
font-family: 'Noticia Text';
font-style: italic;
font-weight: 400;
src: url('fonts/noticia-text-v15-latin-italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* noticia-text-700 - latin */
@font-face {
font-family: 'Noticia Text';
font-style: normal;
font-weight: 700;
src: url('fonts/noticia-text-v15-latin-700.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-mono-regular - latin */
@font-face {
font-family: 'Fira Mono';
font-style: normal;
font-weight: 400;
src: url('fonts/fira-mono-v14-latin-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-mono-500 - latin */
@font-face {
font-family: 'Fira Mono';
font-style: normal;
font-weight: 500;
src: url('fonts/fira-mono-v14-latin-500.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-regular - latin */
@font-face {
font-family: 'Fira Sans';
font-style: normal;
font-weight: 400;
src: url('fonts/fira-sans-v17-latin-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-italic - latin */
@font-face {
font-family: 'Fira Sans';
font-style: italic;
font-weight: 400;
src: url('fonts/fira-sans-v17-latin-italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-500 - latin */
@font-face {
font-family: 'Fira Sans';
font-style: normal;
font-weight: 500;
src: url('fonts/fira-sans-v17-latin-500.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-500italic - latin */
@font-face {
font-family: 'Fira Sans';
font-style: italic;
font-weight: 500;
src: url('fonts/fira-sans-v17-latin-500italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-700 - latin */
@font-face {
font-family: 'Fira Sans';
font-style: normal;
font-weight: 700;
src: url('fonts/fira-sans-v17-latin-700.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* fira-sans-700italic - latin */
@font-face {
font-family: 'Fira Sans';
font-style: italic;
font-weight: 700;
src: url('fonts/fira-sans-v17-latin-700italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}


:root,
.light:root {
--main-background: #FFFFFF;

--color: #333333;
--link-color: #2C94BD;
--source-color: grey;
--anchor-hover: #555;
--anchor-color: #d5d5d5;
--xref-shadow: #cc6666;
Expand All @@ -33,6 +119,7 @@
--toc-list-border: #ccc;

--spec-summary-border-color: #5c9cf5;
--spec-label-color: green;
--spec-summary-background: var(--code-background);
--spec-summary-hover-background: #ebeff2;
--spec-details-after-background: rgba(0, 4, 15, 0.05);
Expand Down Expand Up @@ -72,6 +159,8 @@
--hljs-type: #ac885b;
--hljs-meta: #82aaff;
--hljs-variable: #cf6a4c;

--spec-label-color: lightgreen;
}

@media (prefers-color-scheme: dark) {
Expand Down Expand Up @@ -118,6 +207,8 @@
--hljs-type: #ac885b;
--hljs-meta: #82aaff;
--hljs-variable: #cf6a4c;

--spec-label-color: lightgreen;
}
}

Expand All @@ -142,23 +233,31 @@ table {

html {
font-size: 15px;
scroll-behavior: smooth;
}

body {
text-align: left;
background: #FFFFFF;
color: var(--color);
background-color: var(--main-background);
font-family: "Noticia Text", Georgia, serif;
line-height: 1.5;
}

body {
max-width: 100ex;
margin-left: calc(10vw + 20ex);
margin-right: 4ex;
margin-top: 20px;
margin-bottom: 50px;
font-family: "Noticia Text", Georgia, serif;
line-height: 1.5;
}

body.odoc {
max-width: 100ex;
}

body.odoc-src {
margin-right: calc(10vw + 20ex);
}

header {
Expand Down Expand Up @@ -238,6 +337,10 @@ a {
color: var(--link-color);
}

.odoc-src pre a {
color: inherit;
}

a:hover {
box-shadow: 0 1px 0 0 var(--link-color);
}
Expand Down Expand Up @@ -289,6 +392,14 @@ a.anchor {
box-shadow: 0 1px 0 0 var(--xref-shadow);
}

/* Source links float inside preformated text or headings. */
a.source_link {
float: right;
color: var(--source-color);
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
font-size: initial;
}

/* Section and document divisions.
Until at least 4.03 many of the modules of the stdlib start at .h7,
we restart the sequence there like h2 */
Expand Down Expand Up @@ -372,32 +483,32 @@ tt, code, pre {
font-weight: 400;
}

pre {
.odoc pre {
padding: 0.1em;
border: 1px solid var(--pre-border-color);
border-radius: 5px;
overflow-x: auto;
}

p code,
li code {
.odoc p code,
.odoc li code {
background-color: var(--li-code-background);
color: var(--li-code-color);
border-radius: 3px;
padding: 0 0.3ex;
}

p a > code {
p a > code, li a > code {
color: var(--link-color);
}

code {
.odoc code {
white-space: pre-wrap;
}

/* Code blocks (e.g. Examples) */

pre code {
.odoc pre code {
font-size: 0.893rem;
}

Expand All @@ -419,6 +530,10 @@ pre code {
padding: 0.35em 0.5em;
}

.spec .label, .spec .optlabel {
color: var(--spec-label-color);
}

li:not(:last-child) > .def-doc {
margin-bottom: 15px;
}
Expand Down Expand Up @@ -536,6 +651,12 @@ td.def-doc *:first-child {
.at-tags li { padding-left: 3ex; text-indent: -3ex; }
.at-tags .at-tag { text-transform: capitalize }

/* Alert emoji */

.alert::before, .deprecated::before {
content: '⚠️ ';
}

/* Lists of modules */

.modules { list-style-type: none; margin-left: -3ex; }
Expand Down Expand Up @@ -674,10 +795,26 @@ td.def-doc *:first-child {
padding-left: 12px;
}

/* Tables */

.odoc-table {
margin: 1em;
}

.odoc-table td, .odoc-table th {
padding-left: 0.5em;
padding-right: 0.5em;
border: 1px solid black;
}

.odoc-table th {
font-weight: bold;
}

/* Mobile adjustements. */

@media only screen and (max-width: 95ex) {
body.odoc {
@media only screen and (max-width: 110ex) {
body {
margin: 2em;
}
.odoc-toc {
Expand All @@ -704,6 +841,47 @@ td.def-doc *:first-child {
}
}

/* Source code. */

.source_container {
display: flex;
}

.source_line_column {
padding-right: 0.5em;
text-align: right;
background: #eee8d5;
}

.source_line {
padding: 0 1em;
}

.source_code {
flex-grow: 1;
background: #fdf6e3;
padding: 0 0.3em;
color: #657b83;
}

/* Source directories */

.odoc-directory::before {
content: "📁";
margin: 0.3em;
font-size: 1.3em;
}

.odoc-file::before {
content: "📄";
margin: 0.3em;
font-size: 1.3em;
}

.odoc-folder-list {
list-style: none;
}

/* Syntax highlighting (based on github-gist) */

.hljs {
Expand Down Expand Up @@ -777,6 +955,34 @@ td.def-doc *:first-child {
text-decoration: underline;
}

.VAL, .TYPE, .LET, .REC, .IN, .OPEN, .NONREC, .MODULE, .METHOD, .LETOP, .INHERIT, .INCLUDE, .FUNCTOR, .EXTERNAL, .CONSTRAINT, .ASSERT, .AND, .END, .CLASS, .STRUCT, .SIG {
color: #859900;;
}

.WITH, .WHILE, .WHEN, .VIRTUAL, .TRY, .TO, .THEN, .PRIVATE, .OF, .NEW, .MUTABLE, .MATCH, .LAZY, .IF, .FUNCTION, .FUN, .FOR, .EXCEPTION, .ELSE, .TO, .DOWNTO, .DO, .DONE, .BEGIN, .AS {
color: #cb4b16;
}

.TRUE, .FALSE {
color: #b58900;
}

.failwith, .INT, .SEMISEMI, .LIDENT {
color: #2aa198;
}

.STRING, .CHAR, .UIDENT {
color: #b58900;
}

.DOCSTRING {
color: #268bd2;
}

.COMMENT {
color: #93a1a1;
}

/*---------------------------------------------------------------------------
Copyright (c) 2016 The odoc contributors
Expand Down
2 changes: 1 addition & 1 deletion sedlex/Sedlex_ppx/Iso/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>Iso (sedlex.Sedlex_ppx.Iso)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.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">sedlex</a> &#x00BB; <a href="../index.html">Sedlex_ppx</a> &#x00BB; Iso</nav><header class="odoc-preamble"><h1>Module <code><span>Sedlex_ppx.Iso</span></code></h1><p>Letters to be used in identifiers, as specified by ISO ....</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tr8876_ident_char"><a href="#val-tr8876_ident_char" class="anchor"></a><code><span><span class="keyword">val</span> tr8876_ident_char : <a href="../Sedlex_cset/index.html#type-t">Sedlex_cset.t</a></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Iso (sedlex.Sedlex_ppx.Iso)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.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">sedlex</a> &#x00BB; <a href="../index.html">Sedlex_ppx</a> &#x00BB; Iso</nav><header class="odoc-preamble"><h1>Module <code><span>Sedlex_ppx.Iso</span></code></h1><p>Letters to be used in identifiers, as specified by ISO ....</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tr8876_ident_char"><a href="#val-tr8876_ident_char" class="anchor"></a><code><span><span class="keyword">val</span> tr8876_ident_char : <a href="../Sedlex_cset/index.html#type-t">Sedlex_cset.t</a></span></code></div></div></div></body></html>
4 changes: 2 additions & 2 deletions sedlex/Sedlex_ppx/Ppx_sedlex/StringMap/index.html

Large diffs are not rendered by default.

6 changes: 3 additions & 3 deletions sedlex/Sedlex_ppx/Ppx_sedlex/index.html
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ppx_sedlex (sedlex.Sedlex_ppx.Ppx_sedlex)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.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">sedlex</a> &#x00BB; <a href="../index.html">Sedlex_ppx</a> &#x00BB; Ppx_sedlex</nav><header class="odoc-preamble"><h1>Module <code><span>Sedlex_ppx.Ppx_sedlex</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Cset"><a href="#module-Cset" class="anchor"></a><code><span><span class="keyword">module</span> Cset</span><span> = <a href="../Sedlex_cset/index.html">Sedlex_cset</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default_loc"><a href="#val-default_loc" class="anchor"></a><code><span><span class="keyword">val</span> default_loc : <span class="xref-unresolved">Ppxlib</span>.Location.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lident_loc"><a href="#val-lident_loc" class="anchor"></a><code><span><span class="keyword">val</span> lident_loc :
<span>loc:<span class="xref-unresolved">Ppxlib</span>.location <span class="arrow">&#45;&gt;</span></span>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ppx_sedlex (sedlex.Sedlex_ppx.Ppx_sedlex)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc v2.3.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">sedlex</a> &#x00BB; <a href="../index.html">Sedlex_ppx</a> &#x00BB; Ppx_sedlex</nav><header class="odoc-preamble"><h1>Module <code><span>Sedlex_ppx.Ppx_sedlex</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Cset"><a href="#module-Cset" class="anchor"></a><code><span><span class="keyword">module</span> Cset</span><span> = <a href="../Sedlex_cset/index.html">Sedlex_cset</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default_loc"><a href="#val-default_loc" class="anchor"></a><code><span><span class="keyword">val</span> default_loc : <span class="xref-unresolved">Ppxlib</span>.Location.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lident_loc"><a href="#val-lident_loc" class="anchor"></a><code><span><span class="keyword">val</span> lident_loc :
<span><span class="label">loc</span>:<span class="xref-unresolved">Ppxlib</span>.location <span class="arrow">&#45;&gt;</span></span>
<span>string <span class="arrow">&#45;&gt;</span></span>
<span><span class="xref-unresolved">Ppxlib__</span>.Longident.t <span class="xref-unresolved">Ppxlib</span>.loc</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-decision_tree"><a href="#type-decision_tree" class="anchor"></a><code><span><span class="keyword">type</span> decision_tree</span><span> = </span></code><ol><li id="type-decision_tree.Lte" class="def variant constructor anchored"><a href="#type-decision_tree.Lte" class="anchor"></a><code><span>| </span><span><span class="constructor">Lte</span> <span class="keyword">of</span> int * <a href="#type-decision_tree">decision_tree</a> * <a href="#type-decision_tree">decision_tree</a></span></code></li><li id="type-decision_tree.Table" class="def variant constructor anchored"><a href="#type-decision_tree.Table" class="anchor"></a><code><span>| </span><span><span class="constructor">Table</span> <span class="keyword">of</span> int * <span>int array</span></span></code></li><li id="type-decision_tree.Return" class="def variant constructor anchored"><a href="#type-decision_tree.Return" class="anchor"></a><code><span>| </span><span><span class="constructor">Return</span> <span class="keyword">of</span> int</span></code></li></ol></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-simplify_decision_tree"><a href="#val-simplify_decision_tree" class="anchor"></a><code><span><span class="keyword">val</span> simplify_decision_tree : <span><a href="#type-decision_tree">decision_tree</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-decision_tree">decision_tree</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-decision"><a href="#val-decision" class="anchor"></a><code><span><span class="keyword">val</span> decision : <span><span><span>(int * int * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-decision_tree">decision_tree</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-limit"><a href="#val-limit" class="anchor"></a><code><span><span class="keyword">val</span> limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-simplify"><a href="#val-simplify" class="anchor"></a><code><span><span class="keyword">val</span> simplify : <span>int <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-decision_tree">decision_tree</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-decision_tree">decision_tree</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-segments_of_partition"><a href="#val-segments_of_partition" class="anchor"></a><code><span><span class="keyword">val</span> segments_of_partition : <span><span><a href="../Sedlex_cset/index.html#type-t">Sedlex_cset.t</a> array</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(int * int * int)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-decision_table"><a href="#val-decision_table" class="anchor"></a><code><span><span class="keyword">val</span> decision_table : <span><span><a href="../Sedlex_cset/index.html#type-t">Sedlex_cset.t</a> array</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-decision_tree">decision_tree</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-appfun"><a href="#val-appfun" class="anchor"></a><code><span><span class="keyword">val</span> appfun :
<span>string <span class="arrow">&#45;&gt;</span></span>
Expand Down Expand Up @@ -274,4 +274,4 @@
<span class="xref-unresolved">Ppxlib__</span>.Import.Ast.virtual_flag
; with_constraint :
<span><span class="xref-unresolved">Ppxlib__</span>.Import.Ast.with_constraint <span class="arrow">&#45;&gt;</span></span>
<span class="xref-unresolved">Ppxlib__</span>.Import.Ast.with_constraint &gt;</span> <span class="keyword">as</span> 'b</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pre_handler"><a href="#val-pre_handler" class="anchor"></a><code><span><span class="keyword">val</span> pre_handler : <span><span class="xref-unresolved">Ppxlib</span>.Driver.Cookies.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-post_handler"><a href="#val-post_handler" class="anchor"></a><code><span><span class="keyword">val</span> post_handler : <span><span class="xref-unresolved">Ppxlib</span>.Driver.Cookies.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-extensions"><a href="#val-extensions" class="anchor"></a><code><span><span class="keyword">val</span> extensions : <span><span class="xref-unresolved">Ppxlib</span>.Extension.t list</span></span></code></div></div></div></body></html>
<span class="xref-unresolved">Ppxlib__</span>.Import.Ast.with_constraint &gt;</span> <span class="keyword">as</span> 'b</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pre_handler"><a href="#val-pre_handler" class="anchor"></a><code><span><span class="keyword">val</span> pre_handler : <span><span class="xref-unresolved">Ppxlib</span>.Driver.Cookies.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-post_handler"><a href="#val-post_handler" class="anchor"></a><code><span><span class="keyword">val</span> post_handler : <span><span class="xref-unresolved">Ppxlib</span>.Driver.Cookies.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-extensions"><a href="#val-extensions" class="anchor"></a><code><span><span class="keyword">val</span> extensions : <span><span class="xref-unresolved">Ppxlib</span>.Extension.t list</span></span></code></div></div></div></body></html>
Loading

0 comments on commit af72144

Please sign in to comment.