102 lines
2.6 KiB
OCaml
102 lines
2.6 KiB
OCaml
|
(**************************************************************************)
|
||
|
|
(* *)
|
||
|
|
(* Copyright (c) 2014 - 2018. *)
|
||
|
|
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
|
||
|
|
(* *)
|
||
|
|
(* All rights reserved. No warranty, explicit or implicit, provided. *)
|
||
|
|
(* *)
|
||
|
|
(**************************************************************************)
|
||
|
|
|
||
|
|
let pp_title ~char ppf title =
|
||
|
|
let sub = String.map (fun _ -> char) title in
|
||
|
|
Format.fprintf ppf "@[<v 0>%s@ %s@ @ @]" title sub
|
||
|
|
|
||
|
|
let pp_h1 = pp_title ~char:'#'
|
||
|
|
let pp_h2 = pp_title ~char:'*'
|
||
|
|
let pp_h3 = pp_title ~char:'='
|
||
|
|
let pp_h4 = pp_title ~char:'`'
|
||
|
|
|
||
|
|
let pp_raw_html ppf str =
|
||
|
|
Format.fprintf ppf "@[<v>.. raw:: html@ @ %s@ @ @]"
|
||
|
|
(Re.Str.global_replace (Re.Str.regexp "\n") "\n " str)
|
||
|
|
|
||
|
|
let pp_html ppf f =
|
||
|
|
Format.fprintf ppf
|
||
|
|
"@[<v 2>.. raw:: html@ @ %a@]@\n@\n"
|
||
|
|
(fun ppf () -> f ppf) ()
|
||
|
|
|
||
|
|
let pp_ref ppf name = Format.fprintf ppf ".. _%s :@\n@\n" name
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
let style = {css|
|
||
|
|
<style>
|
||
|
|
.tab {
|
||
|
|
overflow: hidden;
|
||
|
|
border: 1px solid #ccc;
|
||
|
|
background-color: #f1f1f1;
|
||
|
|
}
|
||
|
|
.tab button {
|
||
|
|
background-color: inherit;
|
||
|
|
float: left;
|
||
|
|
border: none;
|
||
|
|
outline: none;
|
||
|
|
cursor: pointer;
|
||
|
|
padding: 5px 10px;
|
||
|
|
}
|
||
|
|
.tab button:hover {
|
||
|
|
background-color: #ddd;
|
||
|
|
}
|
||
|
|
.tab button.active {
|
||
|
|
background-color: #ccc;
|
||
|
|
}
|
||
|
|
.tabcontent {
|
||
|
|
display: none;
|
||
|
|
padding: 6px 12px;
|
||
|
|
border: 1px solid #ccc;
|
||
|
|
border-top: none;
|
||
|
|
max-height: 40ex;
|
||
|
|
margin-bottom: 7ex;
|
||
|
|
overflow: auto;
|
||
|
|
}
|
||
|
|
.tabcontent p {
|
||
|
|
margin-bottom: 12px;
|
||
|
|
}
|
||
|
|
pre {
|
||
|
|
font-size: 12px
|
||
|
|
}
|
||
|
|
.rst-content .section ul p {
|
||
|
|
margin-bottom: 0;
|
||
|
|
}
|
||
|
|
span.query {
|
||
|
|
font-family: monospace;
|
||
|
|
white-space: pre;
|
||
|
|
}
|
||
|
|
</style>
|
||
|
|
|css}
|
||
|
|
|
||
|
|
let script = {script|
|
||
|
|
<script>
|
||
|
|
function showTab(elt, tab, ref) {
|
||
|
|
var i, tabcontent, tablinks;
|
||
|
|
tabcontent = document.getElementsByClassName(ref);
|
||
|
|
for (i = 0; i < tabcontent.length; i++) {
|
||
|
|
tabcontent[i].style.display = 'none';
|
||
|
|
}
|
||
|
|
|
||
|
|
tablinks = elt.parentNode.children;
|
||
|
|
for (i = 0; i < tablinks.length; i++) {
|
||
|
|
tablinks[i].className = tablinks[i].className.replace(' active', '');
|
||
|
|
}
|
||
|
|
|
||
|
|
document.getElementById(tab).style.display = 'block';
|
||
|
|
elt.className += ' active';
|
||
|
|
}
|
||
|
|
|
||
|
|
document.addEventListener('DOMContentLoaded', function() {
|
||
|
|
var a = document.getElementsByClassName('defaultOpen');
|
||
|
|
for (i = 0; i < a.length; i++) { a[i].click() }
|
||
|
|
})
|
||
|
|
</script>
|
||
|
|
|script}
|