Back to stylesheet.
Line 188: | | padding: 8px;
| | padding: 8px;
| | display:block;
| | display:block;
| - | white-space: pre-wrap;
| + | white-space: nowrap;
| Line 193: | | }
| | }
| |
| |
| - | pre { font-family: monospace;
| + | pre {
| - | font-size: larger;
| + | font-family: monospace;
| | | + | font-size: larger;
| | | + | border: 1px solid #666;
| | | + | background-color: #ccc;
| | | + | padding: 8px;
| | | + | overflow: auto;
| | | + | width: 600px;
| Line 235: | | padding: 0.5em 0.1em 0.1em 0.1em;
| | padding: 0.5em 0.1em 0.1em 0.1em;
| | font-weight: bold;
| | font-weight: bold;
| - | } | + | }
|
|