@@ -72,12 +72,12 @@ footer {
7272 padding: 10px 10px 41px 20px;
7373}
7474
75−.container a:visited {
75+body.index .container a:visited {
7676
7777 color: #666;
7878}
7979
80−.container a:hover {
80+body.index .container a:hover {
8181
8282 color: #04819E;
8383}
@@ -135,11 +135,25 @@ p {
135135
136136 font-family: "Lucida Console", Monaco, monospace;
137137 font-size: 10pt;
138+ line-height: 20px;
138139
139− padding: 4px 6px;
140+ padding: 2px 0;
140141
141142 border: 1px solid #CCC;
142143 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;
143157}
144158
145159.decls > dd {
@@ -182,35 +196,101 @@ p {
182196 font-weight: normal !important;
183197}
184198
185−.name, .arg, .type {
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+
217+.name {
218+
219+ display: table-cell;
220+ white-space: nowrap;
221+ width: 0;
222+}
223+
224+.documented, .name {
186225
187226 cursor: default;
188227}
189228
190−.arg {
229+.documented {
230+
191231 font-weight: bold;
192232}
193233
194−a.type, a.name {
234+a.function {
195235
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;
197257}
198258
199259.type {
200260
201− color: #04819E;
261+ color: #050599;
202262}
203263
204−a.type:visited {
264+.keyword {
205265
206− color: #26A3BF;
266+ color: inherit;
207267}
208268
209−a.name {
269+.boundvar {
210270
211− color: #666;
271+ color: #BF30BF; /* Too much colour makes it hard to differ the rest of the colours */
272+ color: inherit;
212273}
213274
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+
214294ul.names {
215295
216296 border: 1px solid #666;