Skip to content

Commit b8bd6b5

Browse files
moulmoul
authored
feat: setup 'presentx' templating system skeleton (#65)
Signed-off-by: moul <[email protected]>
1 parent 951a817 commit b8bd6b5

File tree

17 files changed

+2758
-2
lines changed

17 files changed

+2758
-2
lines changed

‎.presentx/static/article.css

+180
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,180 @@
1+
body {
2+
margin: 0;
3+
font-family: Helvetica, Arial, sans-serif;
4+
font-size: 16px;
5+
}
6+
pre,
7+
code {
8+
font-family: Menlo, monospace;
9+
font-size: 14px;
10+
}
11+
pre {
12+
line-height: 18px;
13+
margin: 0;
14+
padding: 0;
15+
}
16+
a {
17+
color: #375eab;
18+
text-decoration: none;
19+
}
20+
a:hover {
21+
text-decoration: underline;
22+
}
23+
p,
24+
ul,
25+
ol {
26+
margin: 20px;
27+
}
28+
29+
h1,
30+
h2,
31+
h3,
32+
h4 {
33+
margin: 20px 0;
34+
padding: 0;
35+
color: #375eab;
36+
font-weight: bold;
37+
}
38+
h1 {
39+
font-size: 18px;
40+
padding: 2px 5px;
41+
}
42+
h2 {
43+
font-size: 16px;
44+
}
45+
h3 {
46+
font-size: 16px;
47+
}
48+
h3,
49+
h4 {
50+
margin: 20px 5px;
51+
}
52+
h4 {
53+
font-size: 16px;
54+
}
55+
56+
div#heading {
57+
margin: 0 0 10px 0;
58+
padding: 21px 0;
59+
font-size: 20px;
60+
font-weight: bold;
61+
}
62+
63+
div#heading .author {
64+
padding-top: 10px;
65+
font-size: 14px;
66+
font-weight: normal;
67+
}
68+
69+
div#topbar {
70+
}
71+
72+
body {
73+
text-align: center;
74+
}
75+
div#page {
76+
width: 100%;
77+
}
78+
div#page > .container,
79+
div#topbar > .container {
80+
text-align: left;
81+
margin-left: auto;
82+
margin-right: auto;
83+
padding: 0 20px;
84+
width: 900px;
85+
}
86+
div#page.wide > .container,
87+
div#topbar.wide > .container {
88+
width: auto;
89+
}
90+
91+
div#footer {
92+
text-align: center;
93+
color: #666;
94+
font-size: 14px;
95+
margin: 40px 0;
96+
}
97+
98+
.author p {
99+
margin: 0;
100+
padding: 0 20px;
101+
}
102+
103+
/* legacy - taken over by prism.js */
104+
/* div.code,
105+
div.output {
106+
margin: 20px 20px 20px 40px;
107+
-webkit-border-radius: 5px;
108+
-moz-border-radius: 5px;
109+
border-radius: 5px;
110+
} */
111+
112+
div.output {
113+
padding: 10px;
114+
}
115+
116+
/* div.code {
117+
background: white;
118+
} */
119+
div.output {
120+
background: black;
121+
}
122+
div.output .stdout {
123+
color: #e6e6e6;
124+
}
125+
div.output .stderr {
126+
color: rgb(244, 74, 63);
127+
}
128+
div.output .system {
129+
color: rgb(255, 209, 77);
130+
}
131+
132+
.buttons {
133+
margin-left: 20px;
134+
}
135+
div.output .buttons {
136+
margin-left: 0;
137+
margin-bottom: 10px;
138+
}
139+
140+
#toc {
141+
float: right;
142+
margin: 0px 10px;
143+
padding: 10px;
144+
border: 1px solid #e5ecf9;
145+
background-color: #eee;
146+
box-shadow: 3px 3px 2px #888888;
147+
148+
max-width: 33%;
149+
150+
-webkit-border-radius: 5px;
151+
-moz-border-radius: 5px;
152+
border-radius: 5px;
153+
}
154+
155+
#tochead {
156+
font-weight: bold;
157+
font-variant: small-caps;
158+
font-size: 100%;
159+
text-align: center;
160+
padding-bottom: 5px;
161+
}
162+
163+
#toc ul,
164+
#toc a {
165+
list-style-type: none;
166+
padding-left: 0px;
167+
color: black;
168+
margin: 0px;
169+
}
170+
171+
ul.toc-inner a {
172+
padding-left: 10px !important;
173+
}
174+
175+
@media print {
176+
.no-print,
177+
.no-print * {
178+
display: none !important;
179+
}
180+
}

‎.presentx/static/dir.css

+187
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,187 @@
1+
/* copied from $GOROOT/doc/style.css */
2+
3+
body {
4+
margin: 0;
5+
font-family: Helvetica, Arial, sans-serif;
6+
font-size: 16px;
7+
}
8+
/* legacy-taken over by prism.js
9+
pre,
10+
code {
11+
font-family: Menlo, monospace;
12+
font-size: 14px;
13+
} */
14+
/* pre {
15+
line-height: 18px;
16+
} */
17+
pre .comment {
18+
color: #375eab;
19+
}
20+
pre .highlight,
21+
pre .highlight-comment,
22+
pre .selection-highlight,
23+
pre .selection-highlight-comment {
24+
background: #ffff00;
25+
}
26+
pre .selection,
27+
pre .selection-comment {
28+
background: #ff9632;
29+
}
30+
pre .ln {
31+
color: #999;
32+
}
33+
body {
34+
color: #222;
35+
}
36+
a,
37+
.exampleHeading .text {
38+
color: #375eab;
39+
text-decoration: none;
40+
}
41+
a:hover,
42+
.exampleHeading .text:hover {
43+
text-decoration: underline;
44+
}
45+
p,
46+
pre,
47+
ul,
48+
ol {
49+
margin: 20px;
50+
}
51+
pre {
52+
background: #e9e9e9;
53+
padding: 10px;
54+
55+
-webkit-border-radius: 5px;
56+
-moz-border-radius: 5px;
57+
border-radius: 5px;
58+
}
59+
60+
h1,
61+
h2,
62+
h3,
63+
h4,
64+
.rootHeading {
65+
margin: 20px 0;
66+
padding: 0;
67+
color: #375eab;
68+
font-weight: bold;
69+
}
70+
h1 {
71+
font-size: 24px;
72+
}
73+
h2 {
74+
font-size: 20px;
75+
background: #e0ebf5;
76+
padding: 2px 5px;
77+
}
78+
h3 {
79+
font-size: 20px;
80+
}
81+
h3,
82+
h4 {
83+
margin: 20px 5px;
84+
}
85+
h4 {
86+
font-size: 16px;
87+
}
88+
89+
dl {
90+
margin: 20px;
91+
}
92+
dd {
93+
margin: 2px 20px;
94+
}
95+
dl,
96+
dd {
97+
font-size: 14px;
98+
}
99+
div#nav table td {
100+
vertical-align: top;
101+
}
102+
103+
div#heading {
104+
float: left;
105+
margin: 0 0 10px 0;
106+
padding: 21px 0;
107+
font-size: 20px;
108+
font-weight: normal;
109+
}
110+
div#heading a {
111+
color: #222;
112+
text-decoration: none;
113+
}
114+
115+
div#topbar {
116+
background: #e0ebf5;
117+
height: 64px;
118+
}
119+
120+
body {
121+
text-align: center;
122+
}
123+
div#page,
124+
div#topbar > .container {
125+
clear: both;
126+
text-align: left;
127+
margin-left: auto;
128+
margin-right: auto;
129+
padding: 0 20px;
130+
width: 900px;
131+
}
132+
div#page.wide,
133+
div#topbar > .wide {
134+
width: auto;
135+
}
136+
div#plusone {
137+
float: right;
138+
}
139+
140+
div#footer {
141+
color: #666;
142+
font-size: 14px;
143+
margin: 40px 0;
144+
}
145+
146+
div#menu > a,
147+
div#menu > input {
148+
padding: 10px;
149+
150+
text-decoration: none;
151+
font-size: 16px;
152+
153+
-webkit-border-radius: 5px;
154+
-moz-border-radius: 5px;
155+
border-radius: 5px;
156+
}
157+
div#menu > a,
158+
div#menu > input {
159+
border: 1px solid #375eab;
160+
}
161+
div#menu > a {
162+
color: white;
163+
background: #375eab;
164+
}
165+
166+
div#menu {
167+
float: right;
168+
min-width: 590px;
169+
padding: 10px 0;
170+
text-align: right;
171+
}
172+
div#menu > a {
173+
margin-right: 5px;
174+
margin-bottom: 10px;
175+
176+
padding: 10px;
177+
}
178+
div#menu > input {
179+
position: relative;
180+
top: 1px;
181+
width: 60px;
182+
background: white;
183+
color: #222;
184+
}
185+
div#menu > input.inactive {
186+
color: #999;
187+
}

0 commit comments

Comments
 (0)