38 lines
580 B
CSS
38 lines
580 B
CSS
* {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
body {
|
|
font-family: "Source Code Pro", "Menlo", "Consolas", monospace;
|
|
padding: 1em;
|
|
}
|
|
|
|
div.title, p {
|
|
padding: 0.4em;
|
|
}
|
|
|
|
div.title {
|
|
border-top: 1px solid #ccc;
|
|
border-bottom: 1px solid #ccc;
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
background: #ffe;
|
|
padding: 0.8em;
|
|
line-height: 1.5;
|
|
font-size: 80%;
|
|
font-family: "Source Code Pro", "Menlo", "Consolas", monospace;
|
|
white-space: pre-wrap;
|
|
overflow: auto;
|
|
max-height: 240px;
|
|
}
|
|
|
|
.error {
|
|
font-weight: bolder;
|
|
color: red;
|
|
font-size: large;
|
|
}
|