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
|
|
|
}
|
2013-03-25 19:23:55 -07:00
|
|
|
div.linenodiv a {
|
|
|
|
|
color: black;
|
|
|
|
|
text-decoration: none;
|
|
|
|
|
}
|
|
|
|
|
div.linenodiv a:hover {
|
|
|
|
|
text-decoration: underline;
|
|
|
|
|
}
|
2013-03-15 11:58:56 -07:00
|
|
|
div.highlight > pre, div.linenodiv > pre {
|
|
|
|
|
margin-bottom: 5px;
|
|
|
|
|
}
|
2013-03-25 19:23:55 -07:00
|
|
|
div.highlight pre > span {
|
|
|
|
|
display: block;
|
|
|
|
|
}
|
