This commit is contained in:
Gabor Kovesdan 2013-11-05 15:52:37 +00:00
commit 86a8d2d471
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/projects/db5/; revision=43105
227 changed files with 47389 additions and 34149 deletions

View file

@ -240,6 +240,10 @@ div.screen {
white-space: pre;
font-family: monospace;
padding: 1ex;
background-color: #edc;
border: 1px solid #ccc;
border-radius: 6px;
line-height: 1.1;
}
div.programlisting {
@ -340,7 +344,7 @@ div.programlisting {
}
.userinput {
font-weight: normal;
font-weight: bold;
}
pre.screen strong {