equal
deleted
inserted
replaced
1 |
|
2 /* |
1 /* |
3 * Three main areas: |
2 * Debootstrap |
4 * header |
|
5 * nav |
|
6 * content |
|
7 * |
|
8 * Border layout: |
|
9 * Header (bottom) |
|
10 * Content (left) |
|
11 */ |
|
12 |
|
13 /* |
|
14 * General |
|
15 */ |
3 */ |
16 a:hover { |
4 a:hover { |
17 color: inherit; |
5 color: inherit; |
18 } |
6 } |
19 |
7 |
161 |
149 |
162 dd { |
150 dd { |
163 margin: 1em auto 1em 5em; |
151 margin: 1em auto 1em 5em; |
164 } |
152 } |
165 |
153 |
166 code { |
154 /* Inline code */ |
|
155 |
|
156 /* Code block */ |
|
157 pre { |
167 display: block; |
158 display: block; |
168 margin: 8px; |
159 margin: 8px; |
169 padding: 8px; |
160 padding: 8px; |
170 |
161 |
171 border: 1px dotted #b5b5b5; |
162 border: 1px dotted #b5b5b5; |