Cleaning and added doc in the git repo
This commit is contained in:
Matthieu Dubuget
2
doc/html/highlight.pack.js
Normal file
2
doc/html/highlight.pack.js
Normal file
File diff suppressed because one or more lines are too long
19
doc/html/index.html
Normal file
19
doc/html/index.html
Normal file
@ -0,0 +1,19 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml">
|
||||
<head>
|
||||
<title>index</title>
|
||||
<link rel="stylesheet" href="./odoc.css"/>
|
||||
<meta charset="utf-8"/>
|
||||
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
|
||||
</head>
|
||||
<body>
|
||||
<main class="content">
|
||||
<div class="by-name">
|
||||
<h2>OCaml package documentation</h2>
|
||||
<ol>
|
||||
<li><a href="ocaml-google-apps/index.html">ocaml-google-apps</a></li>
|
||||
</ol>
|
||||
</div>
|
||||
</main>
|
||||
</body>
|
||||
</html>
|
||||
0
doc/html/ocaml-google-apps/GoogleApps/.dune-keep
Normal file
0
doc/html/ocaml-google-apps/GoogleApps/.dune-keep
Normal file
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Group (ocaml-google-apps.GoogleApps.Contacts.Group)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">ocaml-google-apps</a> » <a href="../../index.html">GoogleApps</a> » <a href="../index.html">Contacts</a> » Group</nav><h1>Module <code>Contacts.Group</code></h1><p>A <span class="xref-unresolved" title="unresolved reference to "Group.t""><a href="../index.html#module-Group"><code>Group</code></a>.t</span> is is a group of contacts.</p></header><dl><dt class="spec type" id="type-g"><a href="#type-g" class="anchor"></a><code><span class="keyword">type</span> g</code></dt></dl><dl><dt class="spec value" id="val-get_contact_group"><a href="#val-get_contact_group" class="anchor"></a><code><span class="keyword">val</span> get_contact_group : string <span>-></span> <a href="index.html#type-g">g</a></code></dt><dt class="spec value" id="val-get_contacts"><a href="#val-get_contacts" class="anchor"></a><code><span class="keyword">val</span> get_contacts : <a href="index.html#type-g">g</a> <span>-></span> <span><a href="../index.html#type-t">t</a> list</span></code></dt></dl></div></body></html>
|
||||
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Contacts (ocaml-google-apps.GoogleApps.Contacts)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » Contacts</nav><h1>Module <code>GoogleApps.Contacts</code></h1><p>A <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span> contains the name, address, and various contact details of a contact.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec module" id="module-Group"><a href="#module-Group" class="anchor"></a><code><span class="keyword">module</span> <a href="Group/index.html">Group</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>A <span class="xref-unresolved" title="unresolved reference to "Group.t""><a href="index.html#module-Group"><code>Group</code></a>.t</span> is is a group of contacts.</p></dd></dl><dl><dt class="spec value" id="val-get_contacts"><a href="#val-get_contacts" class="anchor"></a><code><span class="keyword">val</span> get_contacts : unit <span>-></span> <span><a href="index.html#type-t">t</a> list</span></code></dt><dt class="spec value" id="val-create"><a href="#val-create" class="anchor"></a><code><span class="keyword">val</span> create : <span>given_name:string</span> <span>-></span> <span>family_name:string</span> <span>-></span> <span>email:string</span> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p>Create a contact</p></dd></dl><dl><dt class="spec value" id="val-get_emails"><a href="#val-get_emails" class="anchor"></a><code><span class="keyword">val</span> get_emails : <a href="index.html#type-t">t</a> <span>-></span> <span><a href="../EmailField/index.html#type-t">EmailField.t</a> list</span></code></dt><dt class="spec value" id="val-get_family_name"><a href="#val-get_family_name" class="anchor"></a><code><span class="keyword">val</span> get_family_name : <a href="index.html#type-t">t</a> <span>-></span> string</code></dt><dt class="spec value" id="val-get_given_name"><a href="#val-get_given_name" class="anchor"></a><code><span class="keyword">val</span> get_given_name : <a href="index.html#type-t">t</a> <span>-></span> string</code></dt><dt class="spec value" id="val-get_full_name"><a href="#val-get_full_name" class="anchor"></a><code><span class="keyword">val</span> get_full_name : <a href="index.html#type-t">t</a> <span>-></span> string</code></dt><dt class="spec value" id="val-get_phones"><a href="#val-get_phones" class="anchor"></a><code><span class="keyword">val</span> get_phones : <a href="index.html#type-t">t</a> <span>-></span> <span><a href="../PhoneField/index.html#type-t">PhoneField.t</a> list</span></code></dt><dt class="spec value" id="val-get_contact_groups"><a href="#val-get_contact_groups" class="anchor"></a><code><span class="keyword">val</span> get_contact_groups : <a href="index.html#type-t">t</a> <span>-></span> <span><a href="Group/index.html#type-g">Group.g</a> list</span></code></dt><dt class="spec value" id="val-add_phone"><a href="#val-add_phone" class="anchor"></a><code><span class="keyword">val</span> add_phone : <a href="index.html#type-t">t</a> <span>-></span> <span>field:<a href="../PhoneField/Field/index.html#type-t">PhoneField.Field.t</a></span> <span>-></span> <span>number:string</span> <span>-></span> <a href="../PhoneField/index.html#type-t">PhoneField.t</a></code></dt><dt class="spec value" id="val-add_to_group"><a href="#val-add_to_group" class="anchor"></a><code><span class="keyword">val</span> add_to_group : <a href="index.html#type-t">t</a> <span>-></span> <span>group:<a href="Group/index.html#type-g">Group.g</a></span> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p>Adds a <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span> to a <span class="xref-unresolved" title="unresolved reference to "Group.t""><a href="index.html#module-Group"><code>Group</code></a>.t</span></p></dd></dl></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/GoogleApps/Date/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/Date/index.html
Normal file
File diff suppressed because one or more lines are too long
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>EmailField (ocaml-google-apps.GoogleApps.EmailField)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » EmailField</nav><h1>Module <code>GoogleApps.EmailField</code></h1><p>An email field in a <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span>.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-get_address"><a href="#val-get_address" class="anchor"></a><code><span class="keyword">val</span> get_address : <a href="index.html#type-t">t</a> <span>-></span> string</code></dt></dl></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/GoogleApps/File/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/File/index.html
Normal file
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>HtmlOutput (ocaml-google-apps.GoogleApps.HtmlOutput)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » HtmlOutput</nav><h1>Module <code>GoogleApps.HtmlOutput</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-create_html_output_from_file"><a href="#val-create_html_output_from_file" class="anchor"></a><code><span class="keyword">val</span> create_html_output_from_file : string <span>-></span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-set_sandbox_mode"><a href="#val-set_sandbox_mode" class="anchor"></a><code><span class="keyword">val</span> set_sandbox_mode : <a href="index.html#type-t">t</a> <span>-></span> <span>mode:<a href="../SandboxMode/index.html#type-t">SandboxMode.t</a></span> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-set_title"><a href="#val-set_title" class="anchor"></a><code><span class="keyword">val</span> set_title : <a href="index.html#type-t">t</a> <span>-></span> <span>title:string</span> <span>-></span> <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/GoogleApps/Menu/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/Menu/index.html
Normal file
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Menu (ocaml-google-apps.GoogleApps.Menu)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » Menu</nav><h1>Module <code>GoogleApps.Menu</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-add_to_ui"><a href="#val-add_to_ui" class="anchor"></a><code><span class="keyword">val</span> add_to_ui : <a href="index.html#type-t">t</a> <span>-></span> unit</code></dt><dt class="spec value" id="val-add_separator"><a href="#val-add_separator" class="anchor"></a><code><span class="keyword">val</span> add_separator : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add_item"><a href="#val-add_item" class="anchor"></a><code><span class="keyword">val</span> add_item : <a href="index.html#type-t">t</a> <span>-></span> <span>caption:string</span> <span>-></span> <span>function_name:string</span> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add_sub_menu"><a href="#val-add_sub_menu" class="anchor"></a><code><span class="keyword">val</span> add_sub_menu : <a href="index.html#type-t">t</a> <span>-></span> <span>submenu:<a href="index.html#type-t">t</a></span> <span>-></span> <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>
|
||||
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Field (ocaml-google-apps.GoogleApps.PhoneField.Field)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">ocaml-google-apps</a> » <a href="../../index.html">GoogleApps</a> » <a href="../index.html">PhoneField</a> » Field</nav><h1>Module <code>PhoneField.Field</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-work"><a href="#val-work" class="anchor"></a><code><span class="keyword">val</span> work : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mobile"><a href="#val-mobile" class="anchor"></a><code><span class="keyword">val</span> mobile : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-home"><a href="#val-home" class="anchor"></a><code><span class="keyword">val</span> home : <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>
|
||||
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>PhoneField (ocaml-google-apps.GoogleApps.PhoneField)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » PhoneField</nav><h1>Module <code>GoogleApps.PhoneField</code></h1><p>An email field in a <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span>.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><div class="spec module" id="module-Field"><a href="#module-Field" class="anchor"></a><code><span class="keyword">module</span> <a href="Field/index.html">Field</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-get_phone_number"><a href="#val-get_phone_number" class="anchor"></a><code><span class="keyword">val</span> get_phone_number : <a href="index.html#type-t">t</a> <span>-></span> string</code></dt></dl></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/GoogleApps/Range/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/Range/index.html
Normal file
File diff suppressed because one or more lines are too long
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SandboxMode (ocaml-google-apps.GoogleApps.SandboxMode)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">ocaml-google-apps</a> » <a href="../index.html">GoogleApps</a> » SandboxMode</nav><h1>Module <code>GoogleApps.SandboxMode</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-iframe"><a href="#val-iframe" class="anchor"></a><code><span class="keyword">val</span> iframe : <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/GoogleApps/Sheet/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/Sheet/index.html
Normal file
File diff suppressed because one or more lines are too long
2
doc/html/ocaml-google-apps/GoogleApps/index.html
Normal file
2
doc/html/ocaml-google-apps/GoogleApps/index.html
Normal file
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>GoogleApps (ocaml-google-apps.GoogleApps)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">ocaml-google-apps</a> » GoogleApps</nav><h1>Module <code>GoogleApps</code></h1><p>OCaml binding for Google Apps (https://developers.google.com/apps-script/)</p></header><dl><dt class="spec value" id="val-log"><a href="#val-log" class="anchor"></a><code><span class="keyword">val</span> log : string <span>-></span> unit</code></dt></dl><dl><dt class="spec module" id="module-Date"><a href="#module-Date" class="anchor"></a><code><span class="keyword">module</span> <a href="Date/index.html">Date</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Standard JavaScript Date</p></dd></dl><dl><dt class="spec module" id="module-File"><a href="#module-File" class="anchor"></a><code><span class="keyword">module</span> <a href="File/index.html">File</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Files in Google Drive.</p></dd></dl><dl><dt class="spec module" id="module-Range"><a href="#module-Range" class="anchor"></a><code><span class="keyword">module</span> <a href="Range/index.html">Range</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>spreadsheet ranges</p></dd></dl><div class="spec module" id="module-SandboxMode"><a href="#module-SandboxMode" class="anchor"></a><code><span class="keyword">module</span> <a href="SandboxMode/index.html">SandboxMode</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-HtmlOutput"><a href="#module-HtmlOutput" class="anchor"></a><code><span class="keyword">module</span> <a href="HtmlOutput/index.html">HtmlOutput</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Menu"><a href="#module-Menu" class="anchor"></a><code><span class="keyword">module</span> <a href="Menu/index.html">Menu</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-Sheet"><a href="#module-Sheet" class="anchor"></a><code><span class="keyword">module</span> <a href="Sheet/index.html">Sheet</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Access and modify spreadsheet sheets.</p></dd></dl><dl><dt class="spec module" id="module-EmailField"><a href="#module-EmailField" class="anchor"></a><code><span class="keyword">module</span> <a href="EmailField/index.html">EmailField</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>An email field in a <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span>.</p></dd></dl><dl><dt class="spec module" id="module-PhoneField"><a href="#module-PhoneField" class="anchor"></a><code><span class="keyword">module</span> <a href="PhoneField/index.html">PhoneField</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>An email field in a <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span>.</p></dd></dl><dl><dt class="spec module" id="module-Contacts"><a href="#module-Contacts" class="anchor"></a><code><span class="keyword">module</span> <a href="Contacts/index.html">Contacts</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>A <span class="xref-unresolved" title="unresolved reference to "Contact.t""><code>Contact</code>.t</span> contains the name, address, and various contact details of a contact.</p></dd></dl><div class="spec module" id="module-GmailMessage"><a href="#module-GmailMessage" class="anchor"></a><code><span class="keyword">module</span> <a href="GmailMessage/index.html">GmailMessage</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>
|
||||
2
doc/html/ocaml-google-apps/index.html
Normal file
2
doc/html/ocaml-google-apps/index.html
Normal file
@ -0,0 +1,2 @@
|
||||
<!DOCTYPE html>
|
||||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (ocaml-google-apps.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – ocaml-google-apps</nav><h1 id="ocaml-google-apps-index"><a href="#ocaml-google-apps-index" class="anchor"></a>ocaml-google-apps index</h1><nav class="toc"><ul><li><a href="#library-ocaml-google-apps">Library ocaml-google-apps</a></li></ul></nav></header><h2 id="library-ocaml-google-apps"><a href="#library-ocaml-google-apps" class="anchor"></a>Library ocaml-google-apps</h2><p>The entry point of this library is the module: <a href="GoogleApps/index.html"><code>GoogleApps</code></a>.</p></div></body></html>
|
||||
764
doc/html/odoc.css
Normal file
764
doc/html/odoc.css
Normal file
@ -0,0 +1,764 @@
|
||||
@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 1.5.1 */
|
||||
|
||||
/* 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');
|
||||
|
||||
|
||||
/* Reset a few things. */
|
||||
|
||||
html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
|
||||
margin: 0;
|
||||
padding: 0;
|
||||
border: 0;
|
||||
font-size: inherit;
|
||||
font: inherit;
|
||||
line-height: inherit;
|
||||
vertical-align: baseline;
|
||||
text-align: inherit;
|
||||
color: inherit;
|
||||
background: transparent;
|
||||
}
|
||||
|
||||
table {
|
||||
border-collapse: collapse;
|
||||
border-spacing: 0;
|
||||
}
|
||||
|
||||
*, *:before, *:after {
|
||||
box-sizing: border-box;
|
||||
}
|
||||
|
||||
html {
|
||||
font-size: 15px;
|
||||
}
|
||||
|
||||
body {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
text-align: left;
|
||||
color: #333;
|
||||
background: #FFFFFF;
|
||||
}
|
||||
|
||||
.content {
|
||||
max-width: 90ex;
|
||||
margin-left: calc(10vw + 20ex);
|
||||
margin-right: 4ex;
|
||||
margin-top: 20px;
|
||||
margin-bottom: 50px;
|
||||
font-family: "Noticia Text", Georgia, serif;
|
||||
line-height: 1.5;
|
||||
}
|
||||
|
||||
.content>header {
|
||||
margin-bottom: 30px;
|
||||
}
|
||||
|
||||
.content>header nav {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
}
|
||||
|
||||
/* Basic markup elements */
|
||||
|
||||
b, strong {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
i, em {
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
sup {
|
||||
vertical-align: super;
|
||||
}
|
||||
|
||||
sub {
|
||||
vertical-align: sub;
|
||||
}
|
||||
|
||||
sup, sub {
|
||||
font-size: 12px;
|
||||
line-height: 0;
|
||||
margin-left: 0.2ex;
|
||||
}
|
||||
|
||||
pre {
|
||||
margin-top: 0.8em;
|
||||
margin-bottom: 1.2em;
|
||||
}
|
||||
|
||||
p, ul, ol {
|
||||
margin-top: 0.5em;
|
||||
margin-bottom: 1em;
|
||||
}
|
||||
ul, ol {
|
||||
list-style-position: outside
|
||||
}
|
||||
|
||||
ul>li {
|
||||
margin-left: 22px;
|
||||
}
|
||||
|
||||
ol>li {
|
||||
margin-left: 27.2px;
|
||||
}
|
||||
|
||||
li>*:first-child {
|
||||
margin-top: 0
|
||||
}
|
||||
|
||||
/* Text alignements, this should be forbidden. */
|
||||
|
||||
.left {
|
||||
text-align: left;
|
||||
}
|
||||
|
||||
.right {
|
||||
text-align: right;
|
||||
}
|
||||
|
||||
.center {
|
||||
text-align: center;
|
||||
}
|
||||
|
||||
/* Links and anchors */
|
||||
|
||||
a {
|
||||
text-decoration: none;
|
||||
color: #2C5CBD;
|
||||
}
|
||||
|
||||
a:hover {
|
||||
box-shadow: 0 1px 0 0 #2C5CBD;
|
||||
}
|
||||
|
||||
/* Linked highlight */
|
||||
*:target {
|
||||
background-color: rgba(187,239,253,0.3) !important;
|
||||
box-shadow: 0 0px 0 1px rgba(187,239,253,0.8) !important;
|
||||
border-radius: 1px;
|
||||
}
|
||||
|
||||
*:hover>a.anchor {
|
||||
visibility: visible;
|
||||
}
|
||||
|
||||
a.anchor:before {
|
||||
content: "#"
|
||||
}
|
||||
|
||||
a.anchor:hover {
|
||||
box-shadow: none;
|
||||
text-decoration: none;
|
||||
color: #555;
|
||||
}
|
||||
|
||||
a.anchor {
|
||||
visibility: hidden;
|
||||
position: absolute;
|
||||
/* top: 0px; */
|
||||
/* margin-left: -3ex; */
|
||||
margin-left: -1.3em;
|
||||
font-weight: normal;
|
||||
font-style: normal;
|
||||
padding-right: 0.4em;
|
||||
padding-left: 0.4em;
|
||||
/* To remain selectable */
|
||||
color: #d5d5d5;
|
||||
}
|
||||
|
||||
.spec > a.anchor {
|
||||
margin-left: -2.3em;
|
||||
padding-right: 0.9em;
|
||||
}
|
||||
|
||||
.xref-unresolved {
|
||||
color: #2C5CBD;
|
||||
}
|
||||
.xref-unresolved:hover {
|
||||
box-shadow: 0 1px 0 0 #CC6666;
|
||||
}
|
||||
|
||||
/* 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 */
|
||||
|
||||
h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {
|
||||
font-family: "Fira Sans", Helvetica, Arial, sans-serif;
|
||||
font-weight: 400;
|
||||
margin: 0.5em 0 0.5em 0;
|
||||
padding-top: 0.1em;
|
||||
line-height: 1.2;
|
||||
overflow-wrap: break-word;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-weight: 500;
|
||||
font-size: 2.441em;
|
||||
margin-top: 1.214em;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-weight: 500;
|
||||
font-size: 1.953em;
|
||||
box-shadow: 0 1px 0 0 #ddd;
|
||||
}
|
||||
|
||||
h2 {
|
||||
font-size: 1.563em;
|
||||
}
|
||||
|
||||
h3 {
|
||||
font-size: 1.25em;
|
||||
}
|
||||
|
||||
small, .font_small {
|
||||
font-size: 0.8em;
|
||||
}
|
||||
|
||||
h1 code, h1 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h2 code, h2 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h3 code, h3 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h3 code, h3 tt {
|
||||
font-size: inherit;
|
||||
font-weight: inherit;
|
||||
}
|
||||
|
||||
h4 {
|
||||
font-size: 1.12em;
|
||||
}
|
||||
|
||||
|
||||
/* Preformatted and code */
|
||||
|
||||
tt, code, pre {
|
||||
font-family: "Fira Mono", courier;
|
||||
font-weight: 400;
|
||||
}
|
||||
|
||||
pre {
|
||||
padding: 0.1em;
|
||||
border: 1px solid #eee;
|
||||
border-radius: 5px;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
p code, li code {
|
||||
background-color: #f6f8fa;
|
||||
color: #0d2b3e;
|
||||
border-radius: 3px;
|
||||
padding: 0 0.3ex;
|
||||
}
|
||||
|
||||
p a > code {
|
||||
color: #2C5CBD;
|
||||
}
|
||||
|
||||
/* Code blocks (e.g. Examples) */
|
||||
|
||||
pre code {
|
||||
font-size: 0.893rem;
|
||||
}
|
||||
|
||||
/* Code lexemes */
|
||||
|
||||
.keyword {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
/* Module member specification */
|
||||
|
||||
.spec:not(.include), .spec.include details summary {
|
||||
background-color: #f6f8fa;
|
||||
border-radius: 3px;
|
||||
border-left: 4px solid #5c9cf5;
|
||||
border-right: 5px solid transparent;
|
||||
padding: 0.35em 0.5em;
|
||||
}
|
||||
|
||||
.spec.include details summary:hover {
|
||||
background-color: #ebeff2;
|
||||
}
|
||||
|
||||
dl, div.spec, .doc, aside {
|
||||
margin-bottom: 20px;
|
||||
}
|
||||
|
||||
dl > dd {
|
||||
padding: 0.5em;
|
||||
}
|
||||
|
||||
dd> :first-child {
|
||||
margin-top: 0;
|
||||
}
|
||||
|
||||
dl:last-child, dd> :last-child, aside:last-child, article:last-child {
|
||||
margin-bottom: 0;
|
||||
}
|
||||
|
||||
dt+dt {
|
||||
margin-top: 15px;
|
||||
}
|
||||
|
||||
section+section, section > header + dl {
|
||||
margin-top: 25px;
|
||||
}
|
||||
|
||||
.spec.type .variant {
|
||||
margin-left: 2ch;
|
||||
}
|
||||
.spec.type .variant p {
|
||||
margin: 0;
|
||||
font-style: italic;
|
||||
}
|
||||
.spec.type .record {
|
||||
margin-left: 2ch;
|
||||
}
|
||||
.spec.type .record p {
|
||||
margin: 0;
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
div.def {
|
||||
margin-top: 0;
|
||||
text-indent: -2ex;
|
||||
padding-left: 2ex;
|
||||
}
|
||||
|
||||
div.def+div.doc {
|
||||
margin-left: 1ex;
|
||||
margin-top: 2.5px
|
||||
}
|
||||
|
||||
div.doc>*:first-child {
|
||||
margin-top: 0;
|
||||
}
|
||||
|
||||
/* The elements other than heading should be wrapped in <aside> elements. */
|
||||
/* heading, body>p, body>ul, body>ol, h3, h4, body>pre { */
|
||||
/* margin-bottom: 30px; */
|
||||
/* } */
|
||||
|
||||
/* Collapsible inlined include and module */
|
||||
|
||||
.spec.include details {
|
||||
position: relative;
|
||||
}
|
||||
|
||||
.spec.include details:after {
|
||||
z-index: -100;
|
||||
display: block;
|
||||
content: " ";
|
||||
position: absolute;
|
||||
border-radius: 0 1ex 1ex 0;
|
||||
right: -20px;
|
||||
top: 1px;
|
||||
bottom: 1px;
|
||||
width: 15px;
|
||||
background: rgba(0, 4, 15, 0.05);
|
||||
box-shadow: 0 0px 0 1px rgba(204, 204, 204, 0.53);
|
||||
}
|
||||
|
||||
.spec.include details summary {
|
||||
position: relative;
|
||||
margin-bottom: 20px;
|
||||
cursor: pointer;
|
||||
outline: none;
|
||||
}
|
||||
|
||||
/* FIXME: Does not work in Firefox. */
|
||||
details summary::-webkit-details-marker {
|
||||
color: #888;
|
||||
transform: scaleX(-1);
|
||||
position: absolute;
|
||||
top: calc(50% - 5px);
|
||||
height: 11px;
|
||||
right: -29px;
|
||||
}
|
||||
|
||||
/* Records and variants FIXME */
|
||||
|
||||
div.def table {
|
||||
text-indent: 0em;
|
||||
padding: 0;
|
||||
margin-left: -2ex;
|
||||
}
|
||||
|
||||
td.def {
|
||||
padding-right: 2ex
|
||||
}
|
||||
|
||||
.record td.def {
|
||||
padding-left: 2ex;
|
||||
}
|
||||
|
||||
td.doc *:first-child {
|
||||
margin-top: 0em
|
||||
}
|
||||
|
||||
/* @ tags */
|
||||
|
||||
ul.at-tag {
|
||||
list-style-type: none;
|
||||
margin-left: 0;
|
||||
padding: 0;
|
||||
}
|
||||
|
||||
ul.at-tag li {
|
||||
margin-left: 0;
|
||||
padding: 0;
|
||||
}
|
||||
|
||||
ul.at-tag li p:first-child {
|
||||
margin-top: 0
|
||||
}
|
||||
|
||||
/* FIXME remove */
|
||||
|
||||
span.at-tag {
|
||||
font-weight: bold
|
||||
}
|
||||
|
||||
.at-tag.deprecated {
|
||||
font-weight: normal;
|
||||
color: crimson
|
||||
}
|
||||
|
||||
.at-tag.raise {
|
||||
font-weight: bold;
|
||||
}
|
||||
|
||||
/* FIXME random other things to review. */
|
||||
|
||||
.heading {
|
||||
margin-top: 10px;
|
||||
border-bottom: solid;
|
||||
border-width: 1px;
|
||||
border-color: #DDD;
|
||||
text-align: right;
|
||||
font-weight: normal;
|
||||
font-style: italic;
|
||||
}
|
||||
|
||||
.heading+.sig {
|
||||
margin-top: -20px;
|
||||
}
|
||||
|
||||
.heading+.parameters {
|
||||
margin-top: -20px;
|
||||
}
|
||||
|
||||
/* Odig package index */
|
||||
|
||||
.by-name ol, .by-tag ol, .errors ol {
|
||||
list-style-type: none;
|
||||
margin-left: 0;
|
||||
}
|
||||
|
||||
.by-name ol ol, .by-tag ol ol {
|
||||
margin-top: 0;
|
||||
margin-bottom: 0
|
||||
}
|
||||
|
||||
.by-name li, .by-tag li, .errors li {
|
||||
margin-left: 0;
|
||||
}
|
||||
|
||||
.by-name .version {
|
||||
font-size: 10px;
|
||||
color: #AAA
|
||||
}
|
||||
|
||||
.by-name nav {
|
||||
margin-bottom: 10px
|
||||
}
|
||||
|
||||
.by-name nav a {
|
||||
text-transform: uppercase;
|
||||
font-size: 18px;
|
||||
margin-right: 1ex;
|
||||
color: #222;
|
||||
display: inline-block;
|
||||
}
|
||||
|
||||
.by-tag nav a {
|
||||
margin-right: 1ex;
|
||||
color: #222;
|
||||
display: inline-block;
|
||||
}
|
||||
|
||||
.by-tag>ol>li {
|
||||
margin-top: 10px;
|
||||
}
|
||||
|
||||
.by-tag>ol>li>span, .by-tag>ol>li>ol, .by-tag>ol>li>ol>li {
|
||||
display: inline-block;
|
||||
margin-right: 1ex;
|
||||
}
|
||||
|
||||
/* Odig package page */
|
||||
|
||||
.package nav {
|
||||
display: inline;
|
||||
font-size: 14px;
|
||||
font-weight: normal;
|
||||
}
|
||||
|
||||
.package .version {
|
||||
font-size: 14px;
|
||||
}
|
||||
|
||||
h1+.modules, h1+.sel {
|
||||
margin-top: 10px
|
||||
}
|
||||
|
||||
.sel {
|
||||
font-weight: normal;
|
||||
font-style: italic;
|
||||
font-size: 14px;
|
||||
margin-top: 20px;
|
||||
}
|
||||
|
||||
.sel+.modules {
|
||||
margin-top: 10px;
|
||||
margin-bottom: 20px;
|
||||
margin-left: 1ex;
|
||||
}
|
||||
|
||||
.modules {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.modules .module {
|
||||
min-width: 8ex;
|
||||
padding-right: 2ex
|
||||
}
|
||||
|
||||
.package.info {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.package.info td:first-child {
|
||||
font-style: italic;
|
||||
padding-right: 2ex;
|
||||
}
|
||||
|
||||
.package.info ul {
|
||||
list-style-type: none;
|
||||
display: inline;
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.package.info li {
|
||||
display: inline-block;
|
||||
margin: 0;
|
||||
margin-right: 1ex;
|
||||
}
|
||||
|
||||
#info-authors li, #info-maintainers li {
|
||||
display: block;
|
||||
}
|
||||
|
||||
/* Sidebar and TOC */
|
||||
|
||||
.toc:before {
|
||||
display: block;
|
||||
content: "Contents";
|
||||
text-transform: uppercase;
|
||||
font-size: 1em;
|
||||
margin: 1.414em 0 0.5em;
|
||||
font-weight: 500;
|
||||
color: #777;
|
||||
line-height: 1.2;
|
||||
}
|
||||
|
||||
.toc {
|
||||
position: fixed;
|
||||
top: 0px;
|
||||
bottom: 0px;
|
||||
left: 0px;
|
||||
max-width: 30ex;
|
||||
min-width: 26ex;
|
||||
width: 20%;
|
||||
background: #f6f8fa;
|
||||
overflow: auto;
|
||||
color: #1F2D3D;
|
||||
padding-left: 2ex;
|
||||
padding-right: 2ex;
|
||||
}
|
||||
|
||||
.toc ul li a {
|
||||
font-family: "Fira Sans", sans-serif;
|
||||
font-size: 0.95em;
|
||||
color: #333;
|
||||
font-weight: 400;
|
||||
line-height: 1.6em;
|
||||
display: block;
|
||||
}
|
||||
|
||||
.toc ul li a:hover {
|
||||
box-shadow: none;
|
||||
text-decoration: underline;
|
||||
}
|
||||
|
||||
/* First level titles */
|
||||
|
||||
.toc>ul>li>a {
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.toc li ul {
|
||||
margin: 0px;
|
||||
}
|
||||
|
||||
.toc ul {
|
||||
list-style-type: none;
|
||||
}
|
||||
|
||||
.toc ul li {
|
||||
margin: 0;
|
||||
}
|
||||
.toc>ul>li {
|
||||
margin-bottom: 0.3em;
|
||||
}
|
||||
|
||||
.toc ul li li {
|
||||
border-left: 1px solid #ccc;
|
||||
margin-left: 5px;
|
||||
padding-left: 12px;
|
||||
}
|
||||
|
||||
/* Mobile adjustements. */
|
||||
|
||||
@media only screen and (max-width: 95ex) {
|
||||
.content {
|
||||
margin: auto;
|
||||
padding: 2.0em;
|
||||
}
|
||||
.toc {
|
||||
position: static;
|
||||
width: auto;
|
||||
min-width: unset;
|
||||
max-width: unset;
|
||||
border: none;
|
||||
padding: 0.2em 1em;
|
||||
border-radius: 5px;
|
||||
}
|
||||
}
|
||||
|
||||
/* Print adjustements. */
|
||||
|
||||
@media print {
|
||||
body {
|
||||
color: black;
|
||||
background: white;
|
||||
}
|
||||
body nav:first-child {
|
||||
visibility: hidden;
|
||||
}
|
||||
}
|
||||
|
||||
/* Syntax highlighting (based on github-gist) */
|
||||
|
||||
.hljs {
|
||||
display: block;
|
||||
background: white;
|
||||
padding: 0.5em;
|
||||
color: #333333;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
.hljs-comment,
|
||||
.hljs-meta {
|
||||
color: #969896;
|
||||
}
|
||||
|
||||
.hljs-string,
|
||||
.hljs-variable,
|
||||
.hljs-template-variable,
|
||||
.hljs-strong,
|
||||
.hljs-emphasis,
|
||||
.hljs-quote {
|
||||
color: #df5000;
|
||||
}
|
||||
|
||||
.hljs-keyword,
|
||||
.hljs-selector-tag {
|
||||
color: #a71d5d;
|
||||
}
|
||||
|
||||
.hljs-type,
|
||||
.hljs-class .hljs-title {
|
||||
color: #458;
|
||||
font-weight: 500;
|
||||
}
|
||||
|
||||
.hljs-literal,
|
||||
.hljs-symbol,
|
||||
.hljs-bullet,
|
||||
.hljs-attribute {
|
||||
color: #0086b3;
|
||||
}
|
||||
|
||||
.hljs-section,
|
||||
.hljs-name {
|
||||
color: #63a35c;
|
||||
}
|
||||
|
||||
.hljs-tag {
|
||||
color: #333333;
|
||||
}
|
||||
|
||||
.hljs-attr,
|
||||
.hljs-selector-id,
|
||||
.hljs-selector-class,
|
||||
.hljs-selector-attr,
|
||||
.hljs-selector-pseudo {
|
||||
color: #795da3;
|
||||
}
|
||||
|
||||
.hljs-addition {
|
||||
color: #55a532;
|
||||
background-color: #eaffea;
|
||||
}
|
||||
|
||||
.hljs-deletion {
|
||||
color: #bd2c00;
|
||||
background-color: #ffecec;
|
||||
}
|
||||
|
||||
.hljs-link {
|
||||
text-decoration: underline;
|
||||
}
|
||||
|
||||
/*---------------------------------------------------------------------------
|
||||
Copyright (c) 2016 The odoc contributors
|
||||
|
||||
Permission to use, copy, modify, and/or distribute this software for any
|
||||
purpose with or without fee is hereby granted, provided that the above
|
||||
copyright notice and this permission notice appear in all copies.
|
||||
|
||||
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
||||
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
||||
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
||||
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
||||
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
||||
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
||||
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
||||
---------------------------------------------------------------------------*/
|
||||
Reference in New Issue
Block a user