Skip to content

Commit 1b8bf50

Browse files
committed
Introduce conditions and confirmations
1 parent 623865b commit 1b8bf50

File tree

4 files changed

+454
-116
lines changed

4 files changed

+454
-116
lines changed

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@ ABSTRACT_FROM = abstract.md
99
include makespec/Makefile
1010

1111
HTML_ARGS+="--toc-depth=2"
12+
HTML_ARGS+="--css=makespec.css"

makespec.css

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
a[href^="#"] em { border-bottom: 1px dotted #666 }
2+
a[href^="#"] em { color: #000; }
3+
4+
body {
5+
counter-reset: examples;
6+
}
7+
8+
section > pre {
9+
font-weight: bold;
10+
background-color: #ddd;
11+
padding: 0.5em;
12+
}
13+
14+
.example, .note {
15+
margin-top: 0.5em;
16+
margin-bottom: 0.5em;
17+
padding: 0.5em;
18+
}
19+
.example:before, .note:before {
20+
display: block;
21+
padding-bottom: 0.5em;
22+
}
23+
.example {
24+
border-left: 0.5em solid #E0CB52;
25+
background-color: #FCFAEE;
26+
}
27+
.example:before {
28+
content: "EXAMPLE " counter(examples);
29+
counter-increment: examples;
30+
color: #B9AB2D;
31+
}
32+
.example pre {
33+
padding-left: 1em;
34+
}
35+
36+
.note {
37+
border-left: 0.5em solid #52E052;
38+
background-color: #E9FBE9;
39+
padding-left: 1em;
40+
}
41+
.note:before {
42+
content: "NOTE";
43+
color: #2B2;
44+
}
45+
46+

0 commit comments

Comments
 (0)