git.iko.soy/Idris-dev
on master help sign in
Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and Chrome
2484c56Philip Rasmussen
idrisdoc/styles.css+92−12
compare with master
unifiedsplit
@@ -72,12 +72,12 @@ footer {
72 padding: 10px 10px 41px 20px;
72 padding: 10px 10px 41px 20px;
73}
73}
74
74
75−.container a:visited {
75+body.index .container a:visited {
76
76
77 color: #666;
77 color: #666;
78}
78}
79
79
80−.container a:hover {
80+body.index .container a:hover {
81
81
82 color: #04819E;
82 color: #04819E;
83}
83}
@@ -135,11 +135,25 @@ p {
135
135
136 font-family: "Lucida Console", Monaco, monospace;
136 font-family: "Lucida Console", Monaco, monospace;
137 font-size: 10pt;
137 font-size: 10pt;
138+ line-height: 20px;
138
139
139− padding: 4px 6px;
140+ padding: 2px 0;
140
141
141 border: 1px solid #CCC;
142 border: 1px solid #CCC;
142 background-color: #F0F0F0;
143 background-color: #F0F0F0;
144+
145+ display: table;
146+ width: 100%;
147+}
148+
149+.decls > dt > :first-child {
150+
151+ padding-left: 6px;
152+}
153+
154+.decls > dt > :last-child {
155+
156+ padding-right: 6px;
143}
157}
144
158
145.decls > dd {
159.decls > dd {
@@ -182,35 +196,101 @@ p {
182 font-weight: normal !important;
196 font-weight: normal !important;
183}
197}
184
198
199+dd.fixity {
200+
201+ cursor: default;
202+}
203+
204+.word {
205+
206+ display: table-cell;
207+ white-space: nowrap;
208+ width: 0;
209+}
210+
211+.signature {
212+
213+ display: table-cell;
214+ width: 100%;
215+}
216+
185−.name, .arg, .type {
217+.name {
218+
219+ display: table-cell;
220+ white-space: nowrap;
221+ width: 0;
222+}
223+
224+.documented, .name {
186
225
187 cursor: default;
226 cursor: default;
188}
227}
189
228
190−.arg {
229+.documented {
230+
191 font-weight: bold;
231 font-weight: bold;
192}
232}
193
233
194−a.type, a.name {
234+a.function {
195
235
196− cursor: pointer;
236+ color: #00BA00;
237+}
238+
239+.function {
240+
241+ color: #007C21;
242+}
243+
244+a.constructor {
245+
246+ color: #FF0000;
247+}
248+
249+.constructor {
250+
251+ color: #BF3030;
252+}
253+
254+a.type {
255+
256+ color: #0000FF;
197}
257}
198
258
199.type {
259.type {
200
260
201− color: #04819E;
261+ color: #050599;
202}
262}
203
263
204−a.type:visited {
264+.keyword {
205
265
206− color: #26A3BF;
266+ color: inherit;
207}
267}
208
268
209−a.name {
269+.boundvar {
210
270
211− color: #666;
271+ color: #BF30BF; /* Too much colour makes it hard to differ the rest of the colours */
272+ color: inherit;
212}
273}
213
274
275+.boundvar.implicit {
276+
277+ text-decoration: underline;
278+}
279+
280+/******************* Old colours
281+
282+a {
283+
284+ color: #04819E;
285+}
286+
287+a:visited {
288+
289+ color: #26A3BF;
290+}
291+
292+********************/
293+
214ul.names {
294ul.names {
215
295
216 border: 1px solid #666;
296 border: 1px solid #666;