change setting for HTML pre element: show scrollbars only if necessary

This commit is contained in:
Helmut Merz 2012-03-01 17:27:47 +01:00
parent 91cdcc2c06
commit b5b2fa5f58

View file

@ -52,9 +52,10 @@ a[href]:hover {
}
pre {
padding: 0.2em;
font-size: 100%;
background-color: #f4f4f4;
overflow: scroll;
background-color: #f8f8f8;
overflow: auto;
max-height: 35em;
}