git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/idrisdoc/styles.css
320 lines 3.4 kB history raw
1html, body {
3 margin: 0;
4 padding: 0;
5 border: 0;
6
7 height: 100%;
9 font-family: "Trebuchet MS", Helvetica, sans-serif;
10 font-size: 11pt;
12 background-color: #FFF;
15a, a:active, a:visited {
17 text-decoration: none;
18 color: inherit;
21a:hover {
23 text-decoration: underline;
26header {
28 padding: 5px 11px;
30 border-bottom: 3px solid #659FDB;
31 box-shadow: 0 -8px 22px 0px;
33 background-color: #252525;
34 color: white;
36 font-size: 9pt;
39.wrapper {
41 min-height: 100%;
44header nav, header strong {
46 font-size: 11pt;
49header nav {
51 float: right;
54footer {
56 height: 30px;
57 width: 100%;
58 border-top: 1px solid #AAAAAA;
60 margin-top: -31px;
62 text-align: center;
63 color: #666;
64 line-height: 30px;
65 font-size: 9pt;
67 background: none repeat scroll 0 0 #DDDDDD;
70.container {
72 padding: 10px 10px 41px 20px;
75body.index .container a:visited {
77 color: #666;
80body.index .container a:hover {
82 color: #04819E;
85h1 {
87 margin: 0;
88 margin-bottom: 5px;
89 font-size: 14pt;
91 font-family: "Trebuchet MS", Helvetica, sans-serif;
94body.namespace h1 {
96 border-bottom: 1px solid #BBB;
97 padding-bottom: 2px;
100ul {
102 list-style-type: none;
104 margin: 0;
105 padding: 0;
108hr {
110 margin: 0;
111 padding: 0;
112 border: 0;
114 border-bottom: 1px solid #BBB;
117p {
119 margin: 0;
120 padding: 0;
123.code {
125 font-family: "Lucida Console", Monaco, monospace;
126 font-size: 10pt;
129.decls {
131 margin-top: 15px;
134.decls > dt {
136 font-family: "Lucida Console", Monaco, monospace;
137 font-size: 10pt;
138 line-height: 20px;
140 padding: 2px 0;
142 border: 1px solid #CCC;
143 background-color: #F0F0F0;
145 display: table;
146 width: 100%;
149.decls > dt > :first-child {
151 padding-left: 6px;
154.decls > dt > :last-child {
156 padding-right: 6px;
159.decls > dd {
161 margin: 10px 0 10px 20px;
163 font-family: Arial, sans-serif;
164 font-size: 10pt;
167.decls > dd > p {
169 margin-bottom: 8px;
172.decls > dd > dl:not(.decls):not(:first-child) {
174 padding-top: 5px;
175 border-top: 1px solid #EEE;
178.decls > dd > dl:not(.decls) > dt {
180 display: block;
181 min-width: 70px;
183 float: left;
185 font-weight: bold;
188.decls > dd > dl:not(.decls) > dd {
190 margin-bottom: 2px;
193.fixity {
195 font-style: italic;
196 font-weight: normal !important;
199dd.fixity {
201 cursor: default;
204.word {
206 display: table-cell;
207 white-space: nowrap;
208 width: 0;
211.signature {
213 display: table-cell;
214 width: 100%;
217.name {
219 display: table-cell;
220 white-space: nowrap;
221 width: 0;
224.documented, .name {
226 cursor: default;
229.documented {
231 font-weight: bold;
234a.function {
236 color: #00BA00;
239.function {
241 color: #007C21;
244a.constructor {
246 color: #FF0000;
249.constructor {
251 color: #BF3030;
254a.type {
256 color: #0000FF;
259.type {
261 color: #050599;
264.keyword {
266 color: inherit;
269.boundvar {
271 color: #BF30BF; /* Too much colour makes it hard to differ the rest of the colours */
272 color: inherit;
275.boundvar.implicit {
277 text-decoration: underline;
280/******************* Old colours
282a {
284 color: #04819E;
287a:visited {
289 color: #26A3BF;
292********************/
294ul.names {
296 border: 1px solid #666;
299ul.names li:nth-child(odd) {
301 background-color: #EEEEEF;
304ul.names li:nth-child(even) {
306 background-color: white;
309ul.names li {
311 padding-left: 5px;
314ul.names li a {
316 display: inline-block;
317 width: 100%;
319 padding: 2px 0;