os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Make userinput bold, add box and light background color to screen elements.

Browse source 
Asked on -doc on 2013-07-23, no objections.
This commit is contained in:
Warren Block 2013-08-13 17:27:38 +00:00
parent a1fa2dca19
commit 6cedb661a6
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=42538
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
share/misc/docbook.css
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 {