Add link to Penn CIS 194
[lambda.git] / local.css
1 /* ikiwiki local style sheet */
2
3 /* Add local styling here, instead of modifying style.css. */
4
5 a {
6         text-decoration: none;
7         color: #005a9c;
8 }
9
10 a:hover {
11         text-decoration: underline;
12 }
13
14
15 hr {
16         border-style: none;
17         background-color: #999;
18         height: 1px;
19 }
20
21 code, pre {
22     background: #eee;
23 }
24
25 pre {
26     padding: .5em;
27 }
28
29 body {
30         margin: 0;
31         padding: 0;
32         font-family: sans-serif;
33         color: black;
34         background: white;
35 }
36
37 .pageheader {
38         margin: 0;
39         padding: 1em 2em 0 2em;
40         background: #eee;
41         border-color: #999;
42         border-style: none none solid none;
43         border-width: 1px;
44 }
45
46 .header {
47         font-size: 100%;
48         font-weight: normal;
49 }
50
51 .title {
52         display: block;
53         margin-top: .2em;
54         font: 140% sans-serif;
55         text-transform: capitalize;
56 }
57
58 .actions {
59         text-align: right;
60         padding: 0;
61 }
62
63 #content, #comments, #footer {
64         margin: 1em 2em;
65 }
66
67 #pageinfo {
68         border-color: #999;
69 }
70
71 .inlinepage {
72         margin: .4em 0;
73         padding: .4em 0;
74         border-style: none;
75         border-top: 1px solid #aaa;
76 }
77
78 .inlineheader {
79         font-size: 120%;
80         font-weight: normal;
81 }
82
83 h1 { font: 120% sans-serif }
84 h2 { font: bold 100% sans-serif }
85 h3 { font: italic 100% sans-serif }
86 h4, h5, h6 { font: small-caps 100% sans-serif }
87
88 /* Smaller headings for inline pages */
89 .inlinepage h1 { font-size: 110% }
90 .inlinepage h2 { font-size: 100% }
91 .inlinepage h3 { font-size: 100% }
92
93 .pageheader .actions ul {
94         border-style: none
95 }
96
97 .actions ul {
98         font-size: 75%;
99         padding: 0;
100         border-style: none;
101 }
102
103 .actions ul li a {
104         text-decoration: none;
105 }
106
107 .actions ul li {
108         margin: 0;
109         padding: .1em .5em 0 .5em;
110         background: white;
111         border-color: #999;
112         border-style: solid solid none solid;
113         border-width: 1px;
114 }
115
116 div.recentchanges {
117         border-style: none;
118 }
119
120 .pagecloud {
121         width: auto;
122 }
123
124
125 /* http://johnmacfarlane.net/highlighting-kate/hk-kate.css */
126 /* Based on kate's own default colors for Haskell */
127 table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
128    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
129 td.lineNumbers { text-align: right; background-color: #EBEBEB; color: black; padding-right: 5px; padding-left: 5px; }
130 td.sourceCode { padding-left: 5px; }
131 pre.sourceCode { }
132 pre.sourceCode span.kw { font-weight: bold; }  /* Keyword */
133 pre.sourceCode span.dt { color: #800000; } /* Keyword.Type */
134 pre.sourceCode span.dv { color: #0000FF; } /* Literal.Number.Integer */
135 pre.sourceCode span.bn { color: #0000FF; } /* Literal.Number.Hex */
136 pre.sourceCode span.fl { color: #800080; } /* Literal.Number.Float */
137 pre.sourceCode span.ch { color: #FF00FF; } /* Literal.String.Char */
138 pre.sourceCode span.st { color: #DD0000; } /* Literal.String */
139 pre.sourceCode span.co { color: #808080; font-style: italic; } /* Comment */
140 pre.sourceCode span.ot { } /* Comment.Preproc */
141 pre.sourceCode span.al { color: green; font-weight: bold; } /* Generic.Error */
142 pre.sourceCode span.fu { color: #000080; } /* Name.Function */
143 pre.sourceCode span.re { }
144 pre.sourceCode span.er { color: red; font-weight: bold; } /* Error */
145
146
147
148 /* http://johnmacfarlane.net/highlighting-kate/hk-pyg.css
149 /- Loosely based on pygment's default colors -/
150 table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
151    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
152 td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
153 td.sourceCode { padding-left: 5px; }
154 pre.sourceCode { }
155 pre.sourceCode span.kw { color: #007020; font-weight: bold; }
156 pre.sourceCode span.dt { color: #902000; }
157 pre.sourceCode span.dv { color: #40a070; }
158 pre.sourceCode span.bn { color: #40a070; }
159 pre.sourceCode span.fl { color: #40a070; }
160 pre.sourceCode span.ch { color: #4070a0; }
161 pre.sourceCode span.st { color: #4070a0; }
162 pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
163 pre.sourceCode span.ot { color: #007020; }
164 pre.sourceCode span.al { color: red; font-weight: bold; }
165 pre.sourceCode span.fu { color: #06287e; }
166 pre.sourceCode span.re { }
167 pre.sourceCode span.er { color: red; font-weight: bold; }
168  */
169
170
171 /*
172 /- Loosely based on pygment's tango colors -/
173 table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre
174    { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; background-color: #f8f8f8 }
175 td.nums { text-align: right; padding-right: 5px; padding-left: 5px; background-color: #f0f0f0; }
176 td.sourceCode { padding-left: 5px; }
177 code.sourceCode { background-color: #f8f8f8; }
178 pre.sourceCode { background-color: #f8f8f8; line-height: 125% }
179 td.nums pre { background-color: #f0f0f0; line-height: 125% }
180 code.sourceCode span.kw { color: #204a87; font-weight: bold }
181 code.sourceCode span.dt { color: #204a87 }
182 code.sourceCode span.dv { color: #0000cf }
183 code.sourceCode span.bn { color: #0000cf }
184 code.sourceCode span.fl { color: #0000cf }
185 code.sourceCode span.ch { color: #4e9a06 }
186 code.sourceCode span.st { color: #4e9a06 }
187 code.sourceCode span.co { color: #8f5902; font-style: italic }
188 code.sourceCode span.ot { color: #8f5902 }
189 code.sourceCode span.al { color: #ef2929 }
190 code.sourceCode span.fu { color: #000000 }
191 code.sourceCode span.re { }
192 code.sourceCode span.er { color: #a40000; border: 1px solid #ef2929 }
193  */
194