|
|
@ -18,6 +18,7 @@ div.pre {
|
|
|
|
font-family: Consolas, Courier New, Courier, Monospace;
|
|
|
|
font-family: Consolas, Courier New, Courier, Monospace;
|
|
|
|
margin-top: 4px;
|
|
|
|
margin-top: 4px;
|
|
|
|
padding: 8px;
|
|
|
|
padding: 8px;
|
|
|
|
|
|
|
|
white-space: pre;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
span.pre {
|
|
|
|
span.pre {
|
|
|
@ -25,6 +26,7 @@ span.pre {
|
|
|
|
font-family: Consolas, Courier New, Courier, Monospace;
|
|
|
|
font-family: Consolas, Courier New, Courier, Monospace;
|
|
|
|
padding-left: 2px;
|
|
|
|
padding-left: 2px;
|
|
|
|
padding-right: 2px;
|
|
|
|
padding-right: 2px;
|
|
|
|
|
|
|
|
white-space: pre-wrap;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
div#info {
|
|
|
|
div#info {
|
|
|
|