diff options
Diffstat (limited to 'tcllib/support/fossil-nav-integration.html')
-rw-r--r-- | tcllib/support/fossil-nav-integration.html | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/tcllib/support/fossil-nav-integration.html b/tcllib/support/fossil-nav-integration.html new file mode 100644 index 0000000..0c51a92 --- /dev/null +++ b/tcllib/support/fossil-nav-integration.html @@ -0,0 +1,91 @@ +<div class='fossil-doc' data-title='@TITLE@'> +<style> + HTML { + background: #FFFFFF; + color: black; + } + BODY { + background: #FFFFFF; + color: black; + } + DIV.doctools { + margin-left: 10%; + margin-right: 10%; + } + DIV.doctools H1,DIV.doctools H2 { + margin-left: -5%; + } + H1, H2, H3, H4 { + margin-top: 1em; + font-family: sans-serif; + font-size: large; + color: #005A9C; + background: transparent; + text-align: left; + } + H1.doctools_title { + text-align: center; + } + UL,OL { + margin-right: 0em; + margin-top: 3pt; + margin-bottom: 3pt; + } + UL LI { + list-style: disc; + } + OL LI { + list-style: decimal; + } + DT { + padding-top: 1ex; + } + UL.doctools_toc,UL.doctools_toc UL, UL.doctools_toc UL UL { + font: normal 12pt/14pt sans-serif; + list-style: none; + } + LI.doctools_section, LI.doctools_subsection { + list-style: none; + margin-left: 0em; + text-indent: 0em; + padding: 0em; + } + PRE { + display: block; + font-family: monospace; + white-space: pre; + margin: 0%; + padding-top: 0.5ex; + padding-bottom: 0.5ex; + padding-left: 1ex; + padding-right: 1ex; + width: 100%; + } + PRE.doctools_example { + color: black; + background: #f5dcb3; + border: 1px solid black; + } + UL.doctools_requirements LI, UL.doctools_syntax LI { + list-style: none; + margin-left: 0em; + text-indent: 0em; + padding: 0em; + } + DIV.doctools_synopsis { + color: black; + background: #80ffff; + border: 1px solid black; + font-family: serif; + margin-top: 1em; + margin-bottom: 1em; + } + UL.doctools_syntax { + margin-top: 1em; + border-top: 1px solid black; + } + UL.doctools_requirements { + margin-bottom: 1em; + border-bottom: 1px solid black; + } +</style> |