-
Notifications
You must be signed in to change notification settings - Fork 128
/
arsd.ddoc
91 lines (87 loc) · 1.83 KB
/
arsd.ddoc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
DDOC_SECTION=<div>$0</div>
DDOC_SECTION_H=<b>$0</b>
DDOC_BLANKLINE=<p>
DDOC_ANCHOR=<a id="$1" href="#$1" style="color: inherit; text-decoration: none;">⚓</a>
D_INLINECODE=<tt>$0</tt>
DDOC_DECL= $(DT $0)
DDOC_DECL_DD= $(DD $0)
DDOC_PARAMS=<table class="params"><caption>Parameters</caption>$0</table>
DDOC_PARAM_ROW=<tr>$0</tr>
DDOC_PARAM_ID=<th>$0</th>
DDOC_PARAM=<span class="param-name">$0</span>
DDOC_PSYMBOL=<span class="psymbol">$0</span>
DDOC=<!DOCTYPE html><html><head>
<meta charset="UTF-8" />
<style>
#body-container {
max-width: 800px;
}
h3 {
background-color: #e0e0e0;
padding: 1em;
}
dt {
background-color: #383838;
padding: 0.5em;
margin-bottom: 0.5em;
color: white;
}
.tip, .note, .warning, .pitfall, .important {
margin: 1em 3em;
padding: 1em;
border: solid 1px #ccc;
}
.tip {
background-color: #eeffee;
}
.note {
background-color: #eeeeee;
}
.warning {
background-color: #ffffee;
}
.pitfall {
background-color: #eeeeff;
}
.important {
background-color: #ffeeff;
}
dt .psymbol {
font-weight: bold;
}
dt .psymbol ~ .psymbol {
/* I'm not happy with it being bolded when a param name matches it too */
font-weight: normal;
}
.params th, .params td {
padding-bottom: 0.5em;
}
.params th {
vertical-align: top;
text-align: left;
font-weight: normal;
}
.params caption {
text-align: left;
font-weight: bold;
border-bottom: solid 1px #ccc;
}
.param-name {
font-style: italic;
}
.params th .param-name {
font-style: normal;
font-weight: bold;
}
.params td .param-name {
font-style: normal;
}
</style>
<title>$(TITLE)</title>
<meta name=viewport content="width=device-width, initial-scale=1" />
</head><body>
<div id="body-container">
<h1>$(TITLE)</h1>
$(BODY)
</div>
</body></html>