deploy: e54e791

c-cube · Oct 24, 2023 · bc0fbc2 · bc0fbc2
1 parent 3562a7d
commit bc0fbc2
Show file tree

Hide file tree

Showing 48 changed files with 520 additions and 141 deletions.
diff --git a/dev/index.html b/dev/index.html
@@ -2,7 +2,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>index</title>
-    <link rel="stylesheet" href="./_odoc_support/odoc.css"/>
+    <link rel="stylesheet" href="./odoc.support/odoc.css"/>
     <meta charset="utf-8"/>
     <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
   </head>

diff --git a/...doc_support/fonts/KaTeX_AMS-Regular.woff2 → ...doc.support/fonts/KaTeX_AMS-Regular.woff2 b/...doc_support/fonts/KaTeX_AMS-Regular.woff2 → ...doc.support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/...upport/fonts/KaTeX_Caligraphic-Bold.woff2 → ...upport/fonts/KaTeX_Caligraphic-Bold.woff2 b/...upport/fonts/KaTeX_Caligraphic-Bold.woff2 → ...upport/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/...ort/fonts/KaTeX_Caligraphic-Regular.woff2 → ...ort/fonts/KaTeX_Caligraphic-Regular.woff2 b/...ort/fonts/KaTeX_Caligraphic-Regular.woff2 → ...ort/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/...oc_support/fonts/KaTeX_Fraktur-Bold.woff2 → ...oc.support/fonts/KaTeX_Fraktur-Bold.woff2 b/...oc_support/fonts/KaTeX_Fraktur-Bold.woff2 → ...oc.support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/...support/fonts/KaTeX_Fraktur-Regular.woff2 → ...support/fonts/KaTeX_Fraktur-Regular.woff2 b/...support/fonts/KaTeX_Fraktur-Regular.woff2 → ...support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/..._odoc_support/fonts/KaTeX_Main-Bold.woff2 → dev/odoc.support/fonts/KaTeX_Main-Bold.woff2 b/..._odoc_support/fonts/KaTeX_Main-Bold.woff2 → dev/odoc.support/fonts/KaTeX_Main-Bold.woff2
diff --git a/...support/fonts/KaTeX_Main-BoldItalic.woff2 → ...support/fonts/KaTeX_Main-BoldItalic.woff2 b/...support/fonts/KaTeX_Main-BoldItalic.woff2 → ...support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/...doc_support/fonts/KaTeX_Main-Italic.woff2 → ...doc.support/fonts/KaTeX_Main-Italic.woff2 b/...doc_support/fonts/KaTeX_Main-Italic.woff2 → ...doc.support/fonts/KaTeX_Main-Italic.woff2
diff --git a/...oc_support/fonts/KaTeX_Main-Regular.woff2 → ...oc.support/fonts/KaTeX_Main-Regular.woff2 b/...oc_support/fonts/KaTeX_Main-Regular.woff2 → ...oc.support/fonts/KaTeX_Main-Regular.woff2
diff --git a/...support/fonts/KaTeX_Math-BoldItalic.woff2 → ...support/fonts/KaTeX_Math-BoldItalic.woff2 b/...support/fonts/KaTeX_Math-BoldItalic.woff2 → ...support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/...doc_support/fonts/KaTeX_Math-Italic.woff2 → ...doc.support/fonts/KaTeX_Math-Italic.woff2 b/...doc_support/fonts/KaTeX_Math-Italic.woff2 → ...doc.support/fonts/KaTeX_Math-Italic.woff2
diff --git a/..._support/fonts/KaTeX_SansSerif-Bold.woff2 → ....support/fonts/KaTeX_SansSerif-Bold.woff2 b/..._support/fonts/KaTeX_SansSerif-Bold.woff2 → ....support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/...upport/fonts/KaTeX_SansSerif-Italic.woff2 → ...upport/fonts/KaTeX_SansSerif-Italic.woff2 b/...upport/fonts/KaTeX_SansSerif-Italic.woff2 → ...upport/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/...pport/fonts/KaTeX_SansSerif-Regular.woff2 → ...pport/fonts/KaTeX_SansSerif-Regular.woff2 b/...pport/fonts/KaTeX_SansSerif-Regular.woff2 → ...pport/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/..._support/fonts/KaTeX_Script-Regular.woff2 → ....support/fonts/KaTeX_Script-Regular.woff2 b/..._support/fonts/KaTeX_Script-Regular.woff2 → ....support/fonts/KaTeX_Script-Regular.woff2
diff --git a/...c_support/fonts/KaTeX_Size1-Regular.woff2 → ...c.support/fonts/KaTeX_Size1-Regular.woff2 b/...c_support/fonts/KaTeX_Size1-Regular.woff2 → ...c.support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/...c_support/fonts/KaTeX_Size2-Regular.woff2 → ...c.support/fonts/KaTeX_Size2-Regular.woff2 b/...c_support/fonts/KaTeX_Size2-Regular.woff2 → ...c.support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/...c_support/fonts/KaTeX_Size3-Regular.woff2 → ...c.support/fonts/KaTeX_Size3-Regular.woff2 b/...c_support/fonts/KaTeX_Size3-Regular.woff2 → ...c.support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/...c_support/fonts/KaTeX_Size4-Regular.woff2 → ...c.support/fonts/KaTeX_Size4-Regular.woff2 b/...c_support/fonts/KaTeX_Size4-Regular.woff2 → ...c.support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/...port/fonts/KaTeX_Typewriter-Regular.woff2 → ...port/fonts/KaTeX_Typewriter-Regular.woff2 b/...port/fonts/KaTeX_Typewriter-Regular.woff2 → ...port/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/dev/odoc.support/fonts/fira-mono-v14-latin-500.woff2 b/dev/odoc.support/fonts/fira-mono-v14-latin-500.woff2
diff --git a/dev/odoc.support/fonts/fira-mono-v14-latin-regular.woff2 b/dev/odoc.support/fonts/fira-mono-v14-latin-regular.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-500.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-500.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-700.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-700.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-italic.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-italic.woff2
diff --git a/dev/odoc.support/fonts/fira-sans-v17-latin-regular.woff2 b/dev/odoc.support/fonts/fira-sans-v17-latin-regular.woff2
diff --git a/dev/odoc.support/fonts/noticia-text-v15-latin-700.woff2 b/dev/odoc.support/fonts/noticia-text-v15-latin-700.woff2
diff --git a/dev/odoc.support/fonts/noticia-text-v15-latin-italic.woff2 b/dev/odoc.support/fonts/noticia-text-v15-latin-italic.woff2
diff --git a/dev/odoc.support/fonts/noticia-text-v15-latin-regular.woff2 b/dev/odoc.support/fonts/noticia-text-v15-latin-regular.woff2
diff --git a/dev/_odoc_support/highlight.pack.js → dev/odoc.support/highlight.pack.js b/dev/_odoc_support/highlight.pack.js → dev/odoc.support/highlight.pack.js
diff --git a/dev/_odoc_support/katex.min.css → dev/odoc.support/katex.min.css b/dev/_odoc_support/katex.min.css → dev/odoc.support/katex.min.css
diff --git a/dev/_odoc_support/katex.min.js → dev/odoc.support/katex.min.js b/dev/_odoc_support/katex.min.js → dev/odoc.support/katex.min.js
diff --git a/dev/_odoc_support/odoc.css → dev/odoc.support/odoc.css b/dev/_odoc_support/odoc.css → dev/odoc.support/odoc.css
@@ -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;
@@ -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);
@@ -72,6 +159,8 @@
   --hljs-type: #ac885b;
   --hljs-meta: #82aaff;
   --hljs-variable: #cf6a4c;
+
+  --spec-label-color: lightgreen;
 }
 
 @media (prefers-color-scheme: dark) {
@@ -118,6 +207,8 @@
     --hljs-type: #ac885b;
     --hljs-meta: #82aaff;
     --hljs-variable: #cf6a4c;
+
+    --spec-label-color: lightgreen;
   }
 }
 
@@ -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 {
@@ -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);
 }
@@ -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  */
@@ -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;
 }
 
@@ -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;
 }
@@ -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; }
@@ -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 {
@@ -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 {
@@ -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
 

diff --git a/dev/printbox-html/PrintBox_html/.dummy b/dev/printbox-html/PrintBox_html/.dummy
diff --git a/dev/printbox-html/PrintBox_html/Config/index.html b/dev/printbox-html/PrintBox_html/Config/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Config (printbox-html.PrintBox_html.Config)</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">printbox-html</a> &#x00BB; <a href="../index.html">PrintBox_html</a> &#x00BB; Config</nav><header class="odoc-preamble"><h1>Module <code><span>PrintBox_html.Config</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#classes-and-attributes">Classes and attributes</a></li></ul></nav><div class="odoc-content"><h3 id="classes-and-attributes"><a href="#classes-and-attributes" class="anchor"></a>Classes and attributes</h3><p>Custom classes and attributes for tables, lists, etc.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.5</li></ul><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default"><a href="#val-default" class="anchor"></a><code><span><span class="keyword">val</span> default : <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_table"><a href="#val-cls_table" class="anchor"></a><code><span><span class="keyword">val</span> cls_table : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_table"><a href="#val-a_table" class="anchor"></a><code><span><span class="keyword">val</span> a_table : <span><span><span><span class="xref-unresolved">Html_types</span>.table_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_text"><a href="#val-cls_text" class="anchor"></a><code><span><span class="keyword">val</span> cls_text : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_text"><a href="#val-a_text" class="anchor"></a><code><span><span class="keyword">val</span> a_text : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_row"><a href="#val-cls_row" class="anchor"></a><code><span><span class="keyword">val</span> cls_row : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_row"><a href="#val-a_row" class="anchor"></a><code><span><span class="keyword">val</span> a_row : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_col"><a href="#val-cls_col" class="anchor"></a><code><span><span class="keyword">val</span> cls_col : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_col"><a href="#val-a_col" class="anchor"></a><code><span><span class="keyword">val</span> a_col : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Config (printbox-html.PrintBox_html.Config)</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">printbox-html</a> &#x00BB; <a href="../index.html">PrintBox_html</a> &#x00BB; Config</nav><header class="odoc-preamble"><h1>Module <code><span>PrintBox_html.Config</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#classes-and-attributes">Classes and attributes</a></li></ul></nav><div class="odoc-content"><h3 id="classes-and-attributes"><a href="#classes-and-attributes" class="anchor"></a>Classes and attributes</h3><p>Custom classes and attributes for tables, lists, etc.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> 0.5</li></ul><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default"><a href="#val-default" class="anchor"></a><code><span><span class="keyword">val</span> default : <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_table"><a href="#val-cls_table" class="anchor"></a><code><span><span class="keyword">val</span> cls_table : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_table"><a href="#val-a_table" class="anchor"></a><code><span><span class="keyword">val</span> a_table : <span><span><span><span class="xref-unresolved">Html_types</span>.table_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_text"><a href="#val-cls_text" class="anchor"></a><code><span><span class="keyword">val</span> cls_text : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_text"><a href="#val-a_text" class="anchor"></a><code><span><span class="keyword">val</span> a_text : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_row"><a href="#val-cls_row" class="anchor"></a><code><span><span class="keyword">val</span> cls_row : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_row"><a href="#val-a_row" class="anchor"></a><code><span><span class="keyword">val</span> a_row : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cls_col"><a href="#val-cls_col" class="anchor"></a><code><span><span class="keyword">val</span> cls_col : <span><span>string list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-a_col"><a href="#val-a_col" class="anchor"></a><code><span><span class="keyword">val</span> a_col : <span><span><span><span class="xref-unresolved">Html_types</span>.div_attrib <span class="xref-unresolved">Tyxml</span>.Html.attrib</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tree_summary"><a href="#val-tree_summary" class="anchor"></a><code><span><span class="keyword">val</span> tree_summary : <span>bool <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>When set to true, the trees are rendered collapsed using the <code>&lt;detalis&gt;</code> HTML5 element.</p></div></div></div></body></html>