changeset 14445 | 61f51f4a9a3b |
parent 13850 | 1209e1d52b68 |
child 14563 | 81fc9678b018 |
14444:1f997134a9d1 | 14445:61f51f4a9a3b |
---|---|
219 |
219 |
220 div.description { |
220 div.description { |
221 border-left: 3px solid #999; |
221 border-left: 3px solid #999; |
222 margin: 1em 0 1em 0; |
222 margin: 1em 0 1em 0; |
223 padding: .3em; |
223 padding: .3em; |
224 white-space: pre; |
|
225 font-family: monospace; |
|
224 } |
226 } |
225 |
227 |
226 /* Graph */ |
228 /* Graph */ |
227 div#wrapper { |
229 div#wrapper { |
228 position: relative; |
230 position: relative; |