[hcoop/debian/mlton.git] / doc / guide / conf / html5-header.conf

[header]
<!DOCTYPE html>
<html lang="{lang=en}">
<head>
<meta http-equiv="Content-Type" content="text/html; charset={encoding}">
<meta name="generator" content="AsciiDoc {asciidoc-version}">
<meta name="description" content="{description}">
<meta name="keywords" content="{keywords}">
<title>{title}</title>
{title%}<title>{doctitle=}</title>
ifdef::linkcss[]
<link rel="stylesheet" href="{stylesdir=.}/{theme=asciidoc}.css" type="text/css">
ifeval::["{source-highlighter}"=="pygments"]
<link rel="stylesheet" href="{stylesdir=.}/pygments.css" type="text/css">
endif::[]

# DEPRECATED: 'pygments' attribute.
ifdef::pygments[<link rel="stylesheet" href="{stylesdir=.}/pygments.css" type="text/css">]

ifdef::toc2[<link rel="stylesheet" href="{stylesdir=.}/toc2.css" type="text/css" />]
<link rel="stylesheet" href="{stylesdir=.}/{stylesheet}" type="text/css">
endif::linkcss[]
ifndef::linkcss[]
<style type="text/css">
include1::{theme%}{stylesdir=./stylesheets}/asciidoc.css[]
include1::{themedir}/{theme}.css[]
ifeval::["{source-highlighter}"=="pygments"]
include1::{stylesdir=./stylesheets}/pygments.css[]
endif::[]

# DEPRECATED: 'pygments' attribute.
ifdef::pygments[]
include1::{stylesdir=./stylesheets}/pygments.css[]
endif::pygments[]

ifdef::toc2[]
include1::{stylesdir=./stylesheets}/toc2.css[]
endif::toc2[]
include1::{stylesheet}[]
</style>
endif::linkcss[]
ifndef::disable-javascript[]
ifdef::linkcss[]
<script type="text/javascript" src="{scriptsdir=.}/asciidoc.js"></script>
<script type="text/javascript" src="{scriptsdir=.}/{theme}.js"></script>
<script type="text/javascript">
#TODO: Escape not necessary in HTML5?
# Escape as CDATA to pass validators.
/*<![CDATA[*/
asciidoc.install({toc,toc2?{toclevels}});
/*]]>*/
</script>
endif::linkcss[]
ifndef::linkcss[]
<script type="text/javascript">
# Escape as CDATA to pass validators.
/*<![CDATA[*/
include1::{scriptsdir=./javascripts}/asciidoc.js[]
include1::{themedir}/{theme}.js[warnings=False]
asciidoc.install({toc,toc2?{toclevels}});
/*]]>*/
</script>
endif::linkcss[]
endif::disable-javascript[]
ifdef::asciimath[]
ifdef::linkcss[]
<script type="text/javascript" src="{scriptsdir=.}/ASCIIMathML.js"></script>
endif::linkcss[]
ifndef::linkcss[]
<script type="text/javascript">
# Escape as CDATA to pass validators.
/*<![CDATA[*/
include1::{scriptsdir=./javascripts}/ASCIIMathML.js[]
/*]]>*/
</script>
endif::linkcss[]
endif::asciimath[]
ifdef::latexmath[]
ifdef::linkcss[]
<script type="text/javascript" src="{scriptsdir=.}/LaTeXMathML.js"></script>
endif::linkcss[]
ifndef::linkcss[]
<script type="text/javascript">
# Escape as CDATA to pass validators.
/*<![CDATA[*/
include1::{scriptsdir=./javascripts}/LaTeXMathML.js[]
/*]]>*/
</script>
endif::linkcss[]
endif::latexmath[]
{docinfo1,docinfo2#}{include:{docdir}/docinfo.html}
{docinfo,docinfo2#}{include:{docdir}/{docname}-docinfo.html}
template::[docinfo]
</head>
<body class="{doctype}"{max-width? style="max-width:{max-width}"}{css-signature? id="{css-signature}"}>
<div id="banner">
template::[banner-body]
</div>
# Article, book header.
ifndef::doctype-manpage[]
<div id="header">
ifndef::notitle[<h1>{doctitle}</h1>]
ifdef::doctitle[]
<span id="author">{author}</span><br>
<span id="email" class="monospaced">&lt;<a href="mailto:{email}">{email}</a>&gt;</span><br>
<span id="revnumber">version {revnumber}{revdate?,}</span>
<span id="revdate">{revdate}</span>
<br><span id="revremark">{revremark}</span>
endif::doctitle[]
{toc,toc2#}{toc-placement$auto:}{template:toc}
</div>
endif::doctype-manpage[]
# Man page header.
ifdef::doctype-manpage[]
<div id="header">
<h1>
{doctitle} Manual Page
</h1>
{toc,toc2#}{toc-placement$auto:}{template:toc}
<h2>{manname-title}</h2>
<div class="sectionbody">
<p>{manname} -
   {manpurpose}
</p>
</div>
</div>
endif::doctype-manpage[]
<div id="content">
Commit	Line	Data
7f918cf1 CE	1	[header]
	2	<!DOCTYPE html>
	3	<html lang="{lang=en}">
	4	<head>
	5	<meta http-equiv="Content-Type" content="text/html; charset={encoding}">
	6	<meta name="generator" content="AsciiDoc {asciidoc-version}">
	7	<meta name="description" content="{description}">
	8	<meta name="keywords" content="{keywords}">
	9	<title>{title}</title>
	10	{title%}<title>{doctitle=}</title>
	11	ifdef::linkcss[]
	12	<link rel="stylesheet" href="{stylesdir=.}/{theme=asciidoc}.css" type="text/css">
	13	ifeval::["{source-highlighter}"=="pygments"]
	14	<link rel="stylesheet" href="{stylesdir=.}/pygments.css" type="text/css">
	15	endif::[]
	16
	17	# DEPRECATED: 'pygments' attribute.
	18	ifdef::pygments[<link rel="stylesheet" href="{stylesdir=.}/pygments.css" type="text/css">]
	19
	20	ifdef::toc2[<link rel="stylesheet" href="{stylesdir=.}/toc2.css" type="text/css" />]
	21	<link rel="stylesheet" href="{stylesdir=.}/{stylesheet}" type="text/css">
	22	endif::linkcss[]
	23	ifndef::linkcss[]
	24	<style type="text/css">
	25	include1::{theme%}{stylesdir=./stylesheets}/asciidoc.css[]
	26	include1::{themedir}/{theme}.css[]
	27	ifeval::["{source-highlighter}"=="pygments"]
	28	include1::{stylesdir=./stylesheets}/pygments.css[]
	29	endif::[]
	30
	31	# DEPRECATED: 'pygments' attribute.
	32	ifdef::pygments[]
	33	include1::{stylesdir=./stylesheets}/pygments.css[]
	34	endif::pygments[]
	35
	36	ifdef::toc2[]
	37	include1::{stylesdir=./stylesheets}/toc2.css[]
	38	endif::toc2[]
	39	include1::{stylesheet}[]
	40	</style>
	41	endif::linkcss[]
	42	ifndef::disable-javascript[]
	43	ifdef::linkcss[]
	44	<script type="text/javascript" src="{scriptsdir=.}/asciidoc.js"></script>
	45	<script type="text/javascript" src="{scriptsdir=.}/{theme}.js"></script>
	46	<script type="text/javascript">
	47	#TODO: Escape not necessary in HTML5?
	48	# Escape as CDATA to pass validators.
	49	/<![CDATA[/
	50	asciidoc.install({toc,toc2?{toclevels}});
	51	/]]>/
	52	</script>
	53	endif::linkcss[]
	54	ifndef::linkcss[]
	55	<script type="text/javascript">
	56	# Escape as CDATA to pass validators.
	57	/<![CDATA[/
	58	include1::{scriptsdir=./javascripts}/asciidoc.js[]
	59	include1::{themedir}/{theme}.js[warnings=False]
	60	asciidoc.install({toc,toc2?{toclevels}});
	61	/]]>/
	62	</script>
	63	endif::linkcss[]
	64	endif::disable-javascript[]
65	ifdef::asciimath[]
66	ifdef::linkcss[]
67	<script type="text/javascript" src="{scriptsdir=.}/ASCIIMathML.js"></script>
68	endif::linkcss[]
69	ifndef::linkcss[]
70	<script type="text/javascript">
71	# Escape as CDATA to pass validators.
72	/<![CDATA[/
73	include1::{scriptsdir=./javascripts}/ASCIIMathML.js[]
74	/]]>/
75	</script>
76	endif::linkcss[]
77	endif::asciimath[]
78	ifdef::latexmath[]
79	ifdef::linkcss[]
80	<script type="text/javascript" src="{scriptsdir=.}/LaTeXMathML.js"></script>
81	endif::linkcss[]
82	ifndef::linkcss[]
83	<script type="text/javascript">
84	# Escape as CDATA to pass validators.
85	/<![CDATA[/
86	include1::{scriptsdir=./javascripts}/LaTeXMathML.js[]
87	/]]>/
88	</script>
89	endif::linkcss[]
90	endif::latexmath[]
91	{docinfo1,docinfo2#}{include:{docdir}/docinfo.html}
92	{docinfo,docinfo2#}{include:{docdir}/{docname}-docinfo.html}
93	template::[docinfo]
94	</head>
95	<body class="{doctype}"{max-width? style="max-width:{max-width}"}{css-signature? id="{css-signature}"}>
96	<div id="banner">
97	template::[banner-body]
98	</div>
99	# Article, book header.
100	ifndef::doctype-manpage[]
101	<div id="header">
102	ifndef::notitle[<h1>{doctitle}</h1>]
103	ifdef::doctitle[]
104	<span id="author">{author}</span><br>
105	<span id="email" class="monospaced"><<a href="mailto:{email}">{email}</a>></span><br>
106	<span id="revnumber">version {revnumber}{revdate?,}</span>
107	<span id="revdate">{revdate}</span>
108	<br><span id="revremark">{revremark}</span>
109	endif::doctitle[]
110	{toc,toc2#}{toc-placement$auto:}{template:toc}
111	</div>
112	endif::doctype-manpage[]
113	# Man page header.
114	ifdef::doctype-manpage[]
115	<div id="header">
116	<h1>
117	{doctitle} Manual Page
118	</h1>
119	{toc,toc2#}{toc-placement$auto:}{template:toc}
120	<h2>{manname-title}</h2>
121	<div class="sectionbody">
122	<p>{manname} -
123	{manpurpose}
124	</p>
125	</div>
126	</div>
127	endif::doctype-manpage[]
128	<div id="content">