2013-03-15 11:58:56 -07:00
|
|
|
body {
|
2013-03-16 18:12:38 -07:00
|
|
|
line-height: 15px;
|
2013-03-15 11:58:56 -07:00
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
div.highlight, div.linenodiv {
|
|
|
|
margin-top: -8px;
|
|
|
|
}
|
|
|
|
div.linenodiv {
|
2013-03-15 12:34:02 -07:00
|
|
|
border-right: 1px solid #EEE;
|
2013-03-15 12:45:40 -07:00
|
|
|
margin-right: 2px;
|
2013-03-15 12:31:32 -07:00
|
|
|
padding: 0 5px;
|
2013-03-15 11:58:56 -07:00
|
|
|
}
|
|
|
|
div.highlight > pre, div.linenodiv > pre {
|
|
|
|
margin-bottom: 5px;
|
|
|
|
}
|