docs: html: format `option values` like in man pages

This commit is contained in:
Marian Beermann 2017-06-17 12:35:24 +02:00
parent 5d9beb5dd2
commit dd8a815327
1 changed files with 10 additions and 0 deletions

View File

@ -68,3 +68,13 @@ p .literal span {
color: black; /* slight contrast with #404040 of regular text */ color: black; /* slight contrast with #404040 of regular text */
background: none; background: none;
} }
cite {
white-space: nowrap;
color: black; /* slight contrast with #404040 of regular text */
font-size: 75%;
font-family: Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter",
"DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;
font-style: normal;
text-decoration: underline;
}